@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} }
Intelligent Systems and Formal Methods in Software Engineering
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 |