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/19859
Zusammenfassung
Zusätzliche Indizierung
| Departement / Abteilung | Departement Informatik |
|---|---|
| Institut | Abteilung Informatik |
| Institution | HSR Hochschule für Technik Rapperswil |
| Studienabschluss | Bachelor of Science (BSc) |
| Studiengang | Computer Science |
| Titel | Enhancing Dafny Support in Visual Studio Code |
| Autor / Autor:in | Hess, Marcel, Kistler, Thomas |
| Betreuer:in | Corbat, Thomas, Hauser, Fabian |
| Datum der Veröffentlichung | 2020-06-11 |
| submissions.sections.form.dc.identifier.eprints.label | 874 |
| Thematische Schwerpunkte (Schlagwörter) | Development Tools C# Java Script .NET Protocols |
Metriken
Zitationen
Dateien zum Herunterladen
Lade...
Dateigröße11.35 MB
Lizenzbestimmung:
