An Institution for Imperative RSL Specifications

Specification, Algebra, and Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-54624-2_22 ◽

2014 ◽

pp. 441-464

Author(s):

Anne E. Haxthausen

Download Full-text