The Village Telephone System: A Case Study in Formal Software Engineering - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Davor Obradovic, Pamela Zave. The Village Telephone System: A Case Study in Formal Software Engineering. In Jim Grundy, Malcolm C. Newey, editors, Theorem Proving in Higher Order Logics, 11th International Conference, TPHOLs 98, Canberra, Australia, September 27 - October 1, 1998, Proceedings. Volume 1479 of Lecture Notes in Computer Science, pages 49-66, Springer, 1998.

This author has not been identified. Look up 'Karthikeyan Bhargavan' in GoogleThis author has not been identified. Look up 'Carl A. Gunter' in GoogleThis author has not been identified. Look up 'Elsa L. Gunter' in GoogleThis author has not been identified. Look up 'Michael Jackson' in GoogleThis author has not been identified. Look up 'Davor Obradovic' in GoogleThis author has not been identified. Look up 'Pamela Zave' in Google

runs on WebDSL