%0 Conference Paper %1 conf/icse/Ploedereder79 %A Plödereder, Erhard %B ICSE %D 1979 %E Bauer, Friedrich L. %E Stucki, Leon G. %E Lehman, Meir M. %I IEEE Computer Society %K dblp %P 63-72 %T Pragmatic Techniques for Program Analysis and Verification. %U http://dblp.uni-trier.de/db/conf/icse/icse79.html#Ploedereder79

@inproceedings{conf/icse/Ploedereder79, added-at = {2012-05-14T00:00:00.000+0200}, author = {Plödereder, Erhard}, biburl = {https://www.bibsonomy.org/bibtex/27876c4303d71703c0a6088a8ab265c99/dblp}, booktitle = {ICSE}, crossref = {conf/icse/1979}, editor = {Bauer, Friedrich L. and Stucki, Leon G. and Lehman, Meir M.}, ee = {http://dl.acm.org/citation.cfm?id=802923}, interhash = {86e9ad1bcbdbd7a1b0abf018ae4caa01}, intrahash = {7876c4303d71703c0a6088a8ab265c99}, keywords = {dblp}, pages = {63-72}, publisher = {IEEE Computer Society}, timestamp = {2012-05-15T11:44:34.000+0200}, title = {Pragmatic Techniques for Program Analysis and Verification.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse79.html#Ploedereder79}, year = 1979 }