%0 Journal Article %1 Hinchey2008 %A Hinchey, Mike %A Jackson, Michael %A Cousot, Patrick %A Cook, Byron %A Bowen, Jonathan P. %A Margaria, Tiziana %C New York, NY, USA %D 2008 %I ACM %J Commun. ACM %K engineering formal methods software %N 9 %P 54--59 %R http://doi.acm.org/10.1145/1378727.1378742 %T Software engineering and formal methods %U http://portal.acm.org/citation.cfm?id=1378727.1378742&coll=Portal&dl=ACM&CFID=3900497&CFTOKEN=28192936 %V 51

@article{Hinchey2008, added-at = {2008-09-24T10:39:11.000+0200}, address = {New York, NY, USA}, 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/2bc303299f134c16bff3c34b912ff8e23/ist_spl}, description = {Software engineering and formal methods}, doi = {http://doi.acm.org/10.1145/1378727.1378742}, interhash = {d970a08ff7df501c6e153eba4ee72a67}, intrahash = {bc303299f134c16bff3c34b912ff8e23}, issn = {0001-0782}, journal = {Commun. ACM}, keywords = {engineering formal methods software}, number = 9, pages = {54--59}, publisher = {ACM}, timestamp = {2008-09-24T10:39:11.000+0200}, title = {Software engineering and formal methods}, url = {http://portal.acm.org/citation.cfm?id=1378727.1378742&coll=Portal&dl=ACM&CFID=3900497&CFTOKEN=28192936}, volume = 51, year = 2008 }