Publikation:
Enhancing Dafny Support in Visual Studio Code
Datum
2020
bachelor_thesis
Hess, M., & Kistler, T. (2020). Enhancing Dafny Support in Visual Studio Code. https://orix.ost.ch/handle/item/16926
Zusätzliche Indizierung
| Institut | IFS |
|---|---|
| Studienabschluss | BSc |
| Studiengang | Informatik |
| Titel | Enhancing Dafny Support in Visual Studio Code |
| Sprache | en |
| Autor / Autor:in | Hess, Marcel, Kistler, Thomas |
| Betreuer:in | |
| Datum der Veröffentlichung | 2020-09-13 |
| Thematische Schwerpunkte (Schlagwörter) | Software Engineering - Core Systems |
| Weitere Angaben | BS Informatik |
Metriken
Zitationen
