Verification Using PEP

• Authors:

• Stephan Melzer;Stefan Römer;Javier Esparza

• Affiliations:

• -;-;-

• Venue:
• AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
• Year:
• 1996