Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification
Paper in proceedings, 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

Subject Categories

Software Engineering

Computer Science

ISBN

354079123X

More information

Created

10/6/2017