Colección: TEMAS
| Temas | Cantidad |
|---|---|
| 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 |