%0 Conference Paper %1 ernst05verification %A Ernst, Michael D. %B VSTTE: Verified Software: Theories, Tools, Experiments %C Zürich, Switzerland %D 2005 %K %T Verification for legacy programs

@inproceedings{ernst05verification, added-at = {2011-12-16T09:34:51.000+0100}, address = {Z{\"u}rich, Switzerland}, author = {Ernst, Michael D.}, biburl = {https://www.bibsonomy.org/bibtex/241919eb1364c36301f186346daf81af8/pbrada}, booktitle = {VSTTE: Verified Software: Theories, Tools, Experiments}, groups = {public}, interhash = {0c602b6daac004190460f8513e354a2e}, intrahash = {41919eb1364c36301f186346daf81af8}, keywords = {}, month = {October~10--13,}, timestamp = {2011-12-16T09:34:51.000+0100}, title = {Verification for legacy programs}, username = {pbrada}, year = 2005 }