Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification
Paper i proceeding, 2009

Författare

Wolfgang Ahrendt

Chalmers, Data- och informationsteknik, Datavetenskap

Richard Bubel

Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)

Reiner Hähnle

Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)

Second International Conference on Teaching Formal Methods, Eindhoven, Netherlands

Vol. 5846 125-143

Ämneskategorier

Programvaruteknik

Datavetenskap (datalogi)

ISBN

354079123X