Colección: TEMAS
Temas | Cantidad |
---|---|
Arquitectura de ordenadores | 2 |
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 |