Documents Related by Co-Citation

377 On µ-kernel construction – Jochen Liedtke - 1995
795 Isabelle/HOL: A Proof Assistant for Higher-Order Logic, volume 2283 – Tobias Nipkow, Lawrence C Paulson, Markus Wenzel - 2002
766 Notions of Computation and Monads – Eugenio Moggi - 1991
774 Security policies and security models – J Goguen, J Meseguer - 1982
619 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
635 The Definition of Standard ML (Revised – R Milner, M Tofte, R Harper, D B MacQueen - 1997
515 Interactive Theorem Proving and Program Development. Coq’Art: The Calculus of Inductive Constructions. Texts in Theoretical Computer Science. An EATCS series – Y Bertot, P Castéran - 2004
610 Assigning meaning to programs – R Floyd - 1967
448 Guarded commands, nondeterminacy and formal derivation of programs – E Dijkstra - 1975