%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 dblp %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 = {2019-09-25T00:00:00.000+0200}, author = {Bowen, Jonathan P. and Hinchey, Michael G.}, biburl = {https://www.bibsonomy.org/bibtex/2139b369932583296a3e7151410f91e04/dblp}, booktitle = {FME}, crossref = {conf/fm/1994}, editor = {Naftalin, Maurice and Denvir, B. Tim and Bertran, Miquel}, ee = {https://www.wikidata.org/entity/Q60719301}, interhash = {58a3da24896e43a0cedab6a82e90f40f}, intrahash = {139b369932583296a3e7151410f91e04}, isbn = {3-540-58555-9}, keywords = {dblp}, pages = {105-117}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T13:48: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 }