%0 Conference Paper %1 conf/issta/Young91 %A Young, William D. %B Symposium on Testing, Analysis, and Verification %D 1991 %E Howden, William E. %I ACM %K dblp %P 188-189 %T Formal Methods versus Software Engineering: Is There a Conflict? %U http://dblp.uni-trier.de/db/conf/issta/tav91.html#Young91 %@ 0-89791-449-X

@inproceedings{conf/issta/Young91, added-at = {2017-02-03T00:00:00.000+0100}, author = {Young, William D.}, biburl = {https://www.bibsonomy.org/bibtex/27908aba3a84338279306fede0cc66d8e/dblp}, booktitle = {Symposium on Testing, Analysis, and Verification}, crossref = {conf/issta/1991}, editor = {Howden, William E.}, ee = {http://doi.acm.org/10.1145/120807.120824}, interhash = {e20769e33a01dfc6214a62d35b38460c}, intrahash = {7908aba3a84338279306fede0cc66d8e}, isbn = {0-89791-449-X}, keywords = {dblp}, pages = {188-189}, publisher = {ACM}, timestamp = {2017-02-04T11:34:29.000+0100}, title = {Formal Methods versus Software Engineering: Is There a Conflict?}, url = {http://dblp.uni-trier.de/db/conf/issta/tav91.html#Young91}, year = 1991 }