Structured derivations: a unified proof style for teaching mathematics. (English)
Formal Asp. Comput. 22, No. 5, 629-661 (2010).
1
A comparison of tools for teaching formal software verification. (English)
Formal Asp. Comput. 21, No. 3, 293-301 (2009).
2
Start
Contact
Print
General Help
