%0 Journal Article %1 Bowen95sevenmore %A Bowen, Jonathan P. %A Hinchey, Michael G %D 1995 %J IEEE Software %K FM imported %P 34--41 %T Seven More Myths of Formal Methods %V 12

@article{Bowen95sevenmore, added-at = {2009-03-16T17:18:16.000+0100}, author = {Bowen, Jonathan P. and Hinchey, Michael G}, biburl = {https://www.bibsonomy.org/bibtex/2f682b174323c45a9d74da9736d6efaae/carolyn}, interhash = {18cd38d7ffd4bcf686aec7bcdbc13642}, intrahash = {f682b174323c45a9d74da9736d6efaae}, journal = {IEEE Software}, keywords = {FM imported}, pages = {34--41}, timestamp = {2009-03-16T17:21:23.000+0100}, title = {Seven More Myths of Formal Methods}, volume = 12, year = 1995 }