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]
Abstract is missing.