The Village Telephone System: A Case Study in Formal Software Engineering
Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Davor Obradovic and Pamela Zave
Theorem Proving Higher Order Logics (TPHOLs ’98), Lecture Notes in Computer Science, volume 1479, pages 49-66, Canberra, Australia, September 1998.
Last updated on Monday, July 25, 2011, 4:35 pm