Intelligent Systems and Formal Methods in Software Engineering
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
Number
6
Pages
71−81
Volume
21
Year
2006