scientific article; zbMATH DE number 5714261

MaRDI QIDQ3563385zbMATH OpenFDO

Authors

Publication date 31 May 2010

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Proof and system-reliability. Proceedings of the NATO Advanced Study Institute, Marktoberdorf, Germany, July 24 -- August 5, 2001.
• Probabilistic relational Hoare logics for computer-aided security proofs
• scientific article; zbMATH DE number 5210219
• scientific article; zbMATH DE number 5179800
• Relating Process Languages for Security and Communication Correctness (Extended Abstract)
• Logic, language, and security. Essays dedicated to Andre Scedrov on the occasion of his 65th birthday.
• scientific article; zbMATH DE number 1081827
• Logic of computation. Proceedings of the NATO ASI. Marktoberdorf, Germany. July 25--August 6, 1995
• Dependence Logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3563385)