DBLP Record 'journals/expert/BeckertHHSGRTBR06'

BibTeX

@article{DBLP:journals/expert/BeckertHHSGRTBR06,
  author    = {Bernhard Beckert and
               Tony Hoare and
               Reiner H{\"a}hnle and
               Douglas R. Smith and
               Cordell Green and
               Silvio Ranise and
               Cesare Tinelli and
               Thomas Ball and
               Sriram K. Rajamani},
  title     = {Intelligent Systems and Formal Methods in Software Engineering},
  journal   = {IEEE Intelligent Systems},
  volume    = {21},
  number    = {6},
  year      = {2006},
  pages     = {71-81},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/MIS.2006.117},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}