Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Intelligent Systems and Formal Methods in Software Engineering

Journal Article
Author(s):Bernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, and Sriram K. Rajamani
Journal:IEEE Intelligent Systems
Publisher:IEEE Computer Society
Number:6
Volume:21
Year:2006
Pages: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}
}