Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification
Uložené v:
| Názov: | Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification |
|---|---|
| Autori: | Ahrendt, Wolfgang, 1967, Bubel, Richard, 1976, Hähnle, Reiner, 1962 |
| Zdroj: | Second International Conference on Teaching Formal Methods, Eindhoven, Netherlands. 5846:125-143 |
| Prístupová URL adresa: | https://research.chalmers.se/publication/97725 |
| Databáza: | SwePub |
Nájsť tento článok vo Web of Science | ISBN: | 354079123X 9783540791232 |
|---|