Intelligent Systems and Formal Methods in Software Engineering - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Bernhard Beckert' in GoogleThis author has not been identified. Look up 'Tony Hoare' in GoogleThis author has not been identified. Look up 'Reiner Hähnle' in GoogleThis author has not been identified. Look up 'Douglas R. Smith' in GoogleThis author has not been identified. Look up 'Cordell Green' in GoogleThis author has not been identified. Look up 'Silvio Ranise' in GoogleThis author has not been identified. Look up 'Cesare Tinelli' in GoogleThis author has not been identified. Look up 'Thomas Ball' in GoogleThis author has not been identified. Look up 'Sriram K. Rajamani' in Google

runs on WebDSL