Active Bibliography

7 Computer-Assisted Mathematics at Work -- The Hahn-Banach Theorem in Isabelle/Isar – Gertrud Bauer, Markus Wenzel - 2000
34 The Isabelle/Isar Reference Manual – Markus Wenzel - 2007
503 Model Checking Programs – Willem Visser, Klaus Havelund, GUILLAUME BRAT, SEUNGJOON PARK, FLAVIO LERDA - 2003
562 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
488 The mathematics of sentence structure – Joachim Lambek, Joachim Lambek
486 Lazy Abstraction – Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Gregoire Sutre - 2002
433 The inductive approach to verifying cryptographic protocols – Lawrence C. Paulson - 1998
408 Automatically validating temporal safety properties of interfaces – Thomas Ball, Sriram K. Rajamani - 2001