Algebraic composition and refinement of proofs

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/bfb0000492 ◽

1997 ◽

pp. 494-508 ◽

Cited By ~ 1

Author(s):

Martin Simons ◽

Michel Sintzoff

Download Full-text