Verification using PEP

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

10.1007/bfb0014349 ◽

1996 ◽

pp. 591-594 ◽

Cited By ~ 3

Author(s):

Stephan Melzer ◽

Stefan Römer ◽

Javier Esparza

Download Full-text