What happened to formal methods for security?
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Artículo |
| Lenguaje: | English |
| Materias: |
Sistema de Bibliotecas de la Universidad Nacional de Costa Rica
| Número de Clasificación: |
H 621.381 |
|---|---|
| Copia | Disponible |