2005
10 references published this year.
Symbolic Execution with Separation Logic
Josh Berdine et al. (2005) · Programming Languages and Systems, Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings
Permission accounting in separation logic
Richard Bornat et al. (2005) · Proceedings of the 32nd ACM Symposium on Principles of Programming Languages
From separation logic to first-order logic
Cristiano Calcagno et al. (2005) · 8th International Conference on Foundations of Software Science and Computational Structures (FoSSaCS)
C2 Policy Evolution at the US Department of Defense. WWMCCS to a Unified Military Command Capability
David Dick et al. (2005) · 10th International Command and Control Research and Technology Symposium: The Future of C2
Richard Dedekind (1888) and Giuseppe Peano (1889), booklets on the Foundations of Arithmetic
José Ferreirós (2005) · Landmark Writings in Western Mathematics 1640-1940
Relating proof systems for recursive types
Clemens Grabmayer (2005)
Realising the Benefits of Formal Methods
Anthony Hall (2005) · 7th International Conference on Formal Engineering Methods (ICFEM)
Local reasoning for Java
Matthew J. Parkinson (2005)
A Mechanically Verified, Sound and Complete Theorem Prover for First Order Logic
Tom Ridge et al. (2005) · Theorem Proving in Higher Order Logics
A formal software requirements specification method for digital nuclear plant protection systems
Junbeom Yoo et al. (2005) · Journal of Systems and Software