Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification
Paper in proceeding, 2009
Author
Wolfgang Ahrendt
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Richard Bubel
Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)
Reiner Hähnle
Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)
Second International Conference on Teaching Formal Methods, Eindhoven, Netherlands
Vol. 5846 125-143
354079123X (ISBN)
Subject Categories
Software Engineering
Computer Science
ISBN
354079123X