FMS'18 : proceedings of the 2018 ACM SIGPLAN International Workshop on Formal Methods and Security : June 18, 2018, Philadelphia, PA, USA

FMS'18 proceedings of the 2018 ACM SIGPLAN International Workshop on Formal Methods and Security : June 18, 2018, Philadelphia, PA, USA

Detalles Bibliográficos
Autor Corporativo: Association for Computing Machinery-Digital Library, contributor (contributor)
Otros Autores: Jha, Somesh, editor (editor), Madhusudan, P., editor
Formato: Libro electrónico
Idioma:Inglés
Publicado: New York NY : ACM 2018.
Colección:ACM Conferences
Materias:
Formal methods (Computer science) > Congresses.
Data protection > Congresses.
Computer security > Congresses.
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009714240306719
Descripción
Notas:Includes index.
Descripción Física:1 online resource (9 pages) : illustrations

Ejemplares similares