%0 Journal Article %1 journals/software/BowenH95 %A Bowen, Jonathan P. %A Hinchey, Michael G. %D 1995 %J IEEE Software %K engineering formal methods myown myths seven software %N 4 %P 34-41 %T Seven More Myths of Formal Methods. %U http://dblp.uni-trier.de/db/journals/software/software12.html#BowenH95 %V 12

@article{journals/software/BowenH95, added-at = {2011-08-02T00:43:49.000+0200}, author = {Bowen, Jonathan P. and Hinchey, Michael G.}, biburl = {https://www.bibsonomy.org/bibtex/224eea01c7309bed6ef83e20ae397741a/jpbowen}, description = {dblp}, ee = {http://www.computer.org:80/software/so1995/s4034abs.htm}, interhash = {18cd38d7ffd4bcf686aec7bcdbc13642}, intrahash = {24eea01c7309bed6ef83e20ae397741a}, journal = {IEEE Software}, keywords = {engineering formal methods myown myths seven software}, number = 4, pages = {34-41}, timestamp = {2011-08-02T00:43:49.000+0200}, title = {Seven More Myths of Formal Methods.}, url = {http://dblp.uni-trier.de/db/journals/software/software12.html#BowenH95}, volume = 12, year = 1995 }