"Pragmatic Techniques for Program Analysis and Verification."

Erhard Plödereder (1979)
a service of Schloss Dagstuhl - Leibniz Center for Informatics