%0 Conference Paper %1 conf/fm/BowenH94 %A Bowen, Jonathan P. %A Hinchey, Michael G. %B FME %D 1994 %E Naftalin, Maurice %E Denvir, B. Tim %E Bertran, Miquel %I Springer %K engineering formal methods myown myths software %P 105-117 %T Seven More Myths of Formal Methods. %U http://dblp.uni-trier.de/db/conf/fm/fme1994.html#BowenH94 %V 873 %@ 3-540-58555-9

@inproceedings{conf/fm/BowenH94, added-at = {2011-08-01T19:36:13.000+0200}, author = {Bowen, Jonathan P. and Hinchey, Michael G.}, biburl = {https://www.bibsonomy.org/bibtex/2139b369932583296a3e7151410f91e04/jpbowen}, booktitle = {FME}, crossref = {conf/fm/1994}, description = {dblp}, editor = {Naftalin, Maurice and Denvir, B. Tim and Bertran, Miquel}, ee = {http://dx.doi.org/10.1007/3-540-58555-9_91}, interhash = {58a3da24896e43a0cedab6a82e90f40f}, intrahash = {139b369932583296a3e7151410f91e04}, isbn = {3-540-58555-9}, keywords = {engineering formal methods myown myths software}, pages = {105-117}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2011-08-01T19:36:13.000+0200}, title = {Seven More Myths of Formal Methods.}, url = {http://dblp.uni-trier.de/db/conf/fm/fme1994.html#BowenH94}, volume = 873, year = 1994 }