Verification Using PEP

Stephan Melzer, Stefan Römer, Javier Esparza. Verification Using PEP. In Martin Wirsing, Maurice Nivat, editors, Algebraic Methodology and Software Technology, 5th International Conference, AMAST 96, Munich, Germany, July 1-5, 1996, Proceedings. Volume 1101 of Lecture Notes in Computer Science, pages 591-594, Springer, 1996.


Abstract is missing.