Intelligent Systems and Formal Methods in Software Engineering
Artikel i vetenskaplig tidskrift, 2006
Författare
Bernhard Beckert
Reiner Hähnle
Chalmers, Data- och informationsteknik, Datavetenskap
Tony Hoare
Douglas Smith
Cordell Green
Silvio Ranise
Cesare Tinelli
Thomas Ball
Sriram Rajamani
IEEE Intelligent Systems
Vol. 21 6 71-81
Ämneskategorier
Programvaruteknik
Datavetenskap (datalogi)