The RAP system as a tool for testing COLD specifications

Algebraic Methods: Theory, Tools and Applications - Lecture Notes in Computer Science ◽

10.1007/bfb0015044 ◽

2005 ◽

pp. 329-345

Author(s):

Heinrich Hussmann ◽

Alfons Geser

Download Full-text