BibTeX record journals/cacm/HincheyJCCBM08

download as .bib file

@article{DBLP:journals/cacm/HincheyJCCBM08,
  author    = {Mike Hinchey and
               Michael Jackson and
               Patrick Cousot and
               Byron Cook and
               Jonathan P. Bowen and
               Tiziana Margaria},
  title     = {Software engineering and formal methods},
  journal   = {Commun. {ACM}},
  volume    = {51},
  number    = {9},
  pages     = {54--59},
  year      = {2008},
  url       = {http://doi.acm.org/10.1145/1378727.1378742},
  doi       = {10.1145/1378727.1378742},
  timestamp = {Mon, 03 Nov 2008 15:09:29 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/cacm/HincheyJCCBM08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}