Intelligent Systems and Formal Methods in Software Engineering

Zeitschriftenartikel

Autor(en):Bernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball und Sriram K. Rajamani
Zeitschrift:IEEE Intelligent Systems
Verleger:IEEE Computer Society
Band:21
Jahr:2006
Nummer:6
Seiten:71-81

BibTeX

@article{BeckertEtAl2006,
  author =       {Bernhard Beckert and Tony Hoare and Reiner H\"ahnle and Douglas R. Smith and
                  Cordell Green and Silvio Ranise and Cesare Tinelli and Thomas Ball and Sriram K. Rajamani},
  journal =      {IEEE Intelligent Systems},
  title =        {Intelligent Systems and Formal Methods in Software Engineering},
  publisher =    {IEEE Computer Society},
  volume =       {21},
  number =       {6},
  pages =        {71--81},
  year =         {2006}
}