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

Juan Bicarregui, Brian Matthews

Browse the full SOFSEM paper archive.