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