The 4th ACM Workshop on
Proceedings of the 4th ACM Workshop on Formal Methods in Security Engineering
Edited book, 2006
Security
Formal Methods
Editor
Andrew Gordon
David Sands
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Subject Categories (SSIF 2011)
Computer Science
ISBN
1-59593-550-9