Repositorio:"Dialnet (Tesis)" |
Temas: "Automated Certification Proof-carrying-code Programming Language Semantics Integration of Programming Concurrency Abstract Interpretation" |
Temas: "Certificación automática Código con Demostración asociada Semántica de Lenguajes de Programación Concurrencia Interpretación abstracta" |
Fecha:"2011" |
1.
|
Abstract Certification of Java Programs in Rewriting Logic Alba Castro, Mauricio Fernando
|