Help on query formulation
first | previous | 1 | next | last

Result 1 to 2 of 2 total

Structured derivations: a unified proof style for teaching mathematics. (English)
Formal Asp. Comput. 22, No. 5, 629-661 (2010).
Classification: E50 E30
MPG SFX Services
1
A comparison of tools for teaching formal software verification. (English)
Formal Asp. Comput. 21, No. 3, 293-301 (2009).
Classification: P55 Q65 Q85
MPG SFX Services
2
first | previous | 1 | next | last

Result 1 to 2 of 2 total

Valid XHTML 1.0 Transitional Valid CSS!