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

• Authors:

• Juan Bicarregui;Brian Matthews

• Affiliations:

• -;-

• Venue:
• SOFSEM '95 Proceedings of the 22nd Seminar on Current Trends in Theory and Practice of Informatics
• Year:
• 1995