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

Gespeichert in:
Weitere Titel:
FMS 2018
Hauptverfasser:
Jha, Somesh, Madhusudan, P.
Körperschaft:
Association for Computing Machinery-Digital Library (MitwirkendeR)
Weitere Verfasser:
Jha, Somesh (HerausgeberIn), Madhusudan, P. (HerausgeberIn)
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
New York NY : ACM, 2018.
Umfang:
1 online resource (9 pages) : illustrations
Anmerkungen:
Includes index.
Schlagworte:
Formal methods (Computer science) > Congresses.
Data protection > Congresses.
Computer security > Congresses.
Bezugswerke: