Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification
Uloženo v:
| Název: | Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification |
|---|---|
| Autoři: | Ahrendt, Wolfgang, 1967, Bubel, Richard, 1976, Hähnle, Reiner, 1962 |
| Zdroj: | Second International Conference on Teaching Formal Methods, Eindhoven, Netherlands. 5846:125-143 |
| Přístupová URL adresa: | https://research.chalmers.se/publication/97725 |
| Databáze: | SwePub |
Nájsť tento článok vo Web of Science Buďte první, kdo okomentuje tento záznam!