Normal view
MARC view
- Logique informatique
Logique informatique Congrès (Topical Term)
Machine generated authority record.
Work cat.: (JGU)2915077: NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness (2007 : Marktoberdorf, Germany) 192239, Formal logical methods for system security and correctness /, ©2008.