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 is missing.