%0 Journal Article %1 journals/software/Hall90 %A Hall, Anthony %D 1990 %J IEEE Software %K dblp %N 5 %P 11-19 %T Seven Myths of Formal Methods. %U http://dblp.uni-trier.de/db/journals/software/software7.html#Hall90 %V 7

@article{journals/software/Hall90, added-at = {2016-01-12T00:00:00.000+0100}, author = {Hall, Anthony}, biburl = {https://www.bibsonomy.org/bibtex/26445b98cb9b5b120aaa860a80eccb085/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/52.57887}, interhash = {7475ea0cd1727a9bfe248dea284742c8}, intrahash = {6445b98cb9b5b120aaa860a80eccb085}, journal = {IEEE Software}, keywords = {dblp}, number = 5, pages = {11-19}, timestamp = {2016-01-13T11:38:17.000+0100}, title = {Seven Myths of Formal Methods.}, url = {http://dblp.uni-trier.de/db/journals/software/software7.html#Hall90}, volume = 7, year = 1990 }