Bernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram K. Rajamani. Intelligent Systems and Formal Methods in Software Engineering. IEEE Intelligent Systems, 21(6):71-81, 2006. [doi]
No references recorded for this publication.
No citations of this publication recorded.