What happened to formal methods for security?

Detalles Bibliográficos
Autor principal: Schaffer, Kim (autora)
Otros Autores: Voas, Feffrey (autor)
Formato: Artículo
Lenguaje:English
Materias:
Descripción
Descripción no disponible.