The 4th ACM Workshop on Proceedings of the 4th ACM Workshop on Formal Methods in Security Engineering
Samlingsverk (redaktörskap), 2006

Security

Formal Methods

Redaktör

Andrew Gordon

David Sands

Chalmers, Data- och informationsteknik, Datavetenskap

Ämneskategorier

Datavetenskap (datalogi)

ISBN

1-59593-550-9