Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification
Gespeichert in:
| Titel: | Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification |
|---|---|
| Autoren: | Ahrendt, Wolfgang, 1967, Bubel, Richard, 1976, Hähnle, Reiner, 1962 |
| Quelle: | Second International Conference on Teaching Formal Methods, Eindhoven, Netherlands. 5846:125-143 |
| Zugangs-URL: | https://research.chalmers.se/publication/97725 |
| Datenbank: | SwePub |
Nájsť tento článok vo Web of Science Schreiben Sie den ersten Kommentar!