Intelligent Systems and Formal Methods in Software Engineering
Journal article, 2006
Author
Bernhard Beckert
Reiner Hähnle
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Tony Hoare
Douglas Smith
Cordell Green
Silvio Ranise
Cesare Tinelli
Thomas Ball
Sriram Rajamani
IEEE Intelligent Systems
Vol. 21 6 71-81
Subject Categories
Software Engineering
Computer Science