Proof Support for RAISE by a Reuse Approach Based on Institutions

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

10.1007/978-3-540-27815-3_26 ◽

2004 ◽

pp. 319-333 ◽

Cited By ~ 3

Author(s):

Morten P. Lindegaard ◽

Anne E. Haxthausen

Download Full-text