Erhard Plödereder
Pragmatic Techniques for Program Analysis and Verification
ICSE, 1979.
@inproceedings{ICSE-1979-Ploedereder, acmid = "802923", author = "Erhard Plödereder", booktitle = "{Proceedings of the Fourth International Conference on Software Engineering}", editor = "Friedrich L. Bauer and Leon G. Stucki and Meir M. Lehman", pages = "63--72", publisher = "{IEEE Computer Society}", title = "{Pragmatic Techniques for Program Analysis and Verification}", year = 1979, }