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 71-81

Ämneskategorier

Programvaruteknik

Datavetenskap (datalogi)