Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification
Saved in:
| Title: | Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification |
|---|---|
| Authors: | Ahrendt, Wolfgang, 1967, Bubel, Richard, 1976, Hähnle, Reiner, 1962 |
| Source: | Second International Conference on Teaching Formal Methods, Eindhoven, Netherlands. 5846:125-143 |
| Access URL: | https://research.chalmers.se/publication/97725 |
| Database: | SwePub |
Nájsť tento článok vo Web of Science | ISBN: | 354079123X 9783540791232 |
|---|