The Village Telephone System: A Case Study in Formal Software Engineering (bibtex)
by Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Davor Obradovic, Pamela Zave
Reference:
The Village Telephone System: A Case Study in Formal Software Engineering (Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Davor Obradovic, Pamela Zave), In Theorem Proving in Higher-Order Logics (TPHOLs'98), 1998.
Bibtex Entry:
@inproceedings{DBLP:conf/tphol/BhargavanGGJOZ98,
  author    = {Karthikeyan Bhargavan and
               Carl A. Gunter and
               Elsa L. Gunter and
               Michael Jackson and
               Davor Obradovic and
               Pamela Zave},
  title     = {The Village Telephone System: A Case Study in Formal Software
               Engineering},
  booktitle = {Theorem Proving in Higher-Order Logics (TPHOLs'98)},
  year      = {1998},
  pages     = {49-66},
pdf="pubs/village-telephone-system-tphols98.pdf",
url="pubs/village-telephone-system-tphols98.pdf",
}