%0 Journal Article %1 journals/cacm/HincheyJCCBM08 %A Hinchey, Mike %A Jackson, Michael %A Cousot, Patrick %A Cook, Byron %A Bowen, Jonathan P. %A Margaria, Tiziana %D 2008 %J Commun. ACM %K dblp %N 9 %P 54-59 %T Software engineering and formal methods. %U http://dblp.uni-trier.de/db/journals/cacm/cacm51.html#HincheyJCCBM08 %V 51

@article{journals/cacm/HincheyJCCBM08, added-at = {2019-10-19T00:00:00.000+0200}, author = {Hinchey, Mike and Jackson, Michael and Cousot, Patrick and Cook, Byron and Bowen, Jonathan P. and Margaria, Tiziana}, biburl = {https://www.bibsonomy.org/bibtex/22cd8c0526c9e81070a2aab63bd50e555/dblp}, ee = {https://www.wikidata.org/entity/Q56939753}, interhash = {d970a08ff7df501c6e153eba4ee72a67}, intrahash = {2cd8c0526c9e81070a2aab63bd50e555}, journal = {Commun. ACM}, keywords = {dblp}, number = 9, pages = {54-59}, timestamp = {2019-10-22T12:52:41.000+0200}, title = {Software engineering and formal methods.}, url = {http://dblp.uni-trier.de/db/journals/cacm/cacm51.html#HincheyJCCBM08}, volume = 51, year = 2008 }