Formal Methods in Practice: A Comparison of Two Support Systems for Proof

Juan Bicarregui, Brian Matthews. Formal Methods in Practice: A Comparison of Two Support Systems for Proof. In Miroslav Bartosek, Jan Staudek, JirĂ­ Wiedermann, editors, SOFSEM 95, 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23 - December 1, 1995, Proceedings. Volume 1012 of Lecture Notes in Computer Science, pages 184-205, Springer, 1995.

Abstract

Abstract is missing.