%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 myown software %N 9 %P 54--59 %R http://doi.acm.org/10.1145/1378727.1378742 %T Software engineering and formal methods %V 51

@article{Hinchey2008, added-at = {2011-08-01T19:34: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/jpbowen}, doi = {http://doi.acm.org/10.1145/1378727.1378742}, file = {:C\:\\Users\\dmitry\\Desktop\\Диплом\\Литература\\general data\\software engineeringand formal methods.pdf:PDF}, interhash = {d970a08ff7df501c6e153eba4ee72a67}, intrahash = {bc303299f134c16bff3c34b912ff8e23}, issn = {0001-0782}, journal = {Commun. ACM}, keywords = {engineering formal methods myown software}, number = 9, pages = {54--59}, publisher = {ACM}, timestamp = {2011-08-01T19:34:11.000+0200}, title = {Software engineering and formal methods}, volume = 51, year = 2008 }