Publikation:
Enhancing Dafny Support in Visual Studio Code
Datum
2020
Bachelorarbeit
Hess, M., & Kistler, T. (2020). Enhancing Dafny Support in Visual Studio Code. https://orix.ost.ch/handle/20.500.14978/19859
Zusammenfassung
Zusätzliche Indizierung
| Institution | HSR Hochschule für Technik Rapperswil |
|---|---|
| Studienabschluss | Bachelor of Science (BSc) |
| Studiengang | Computer Science |
| Titel | Enhancing Dafny Support in Visual Studio Code |
| Autor:in | |
| Betreuer:in | |
| Datum der Veröffentlichung | 2020 |
| eprints-ID | 874 |
| Thematische Schwerpunkte | Development Tools C# Java Script .NET Protocols |
Metriken
Ansichten
3 seit hinterlegt am 2026-06-23
1letzter Monat
1letzte Woche
Erwerbsdatum: 2026-09-12
Zitationen
Dateien zum Herunterladen
Lade...
Dateigröße11.35 MB
Lizenzbestimmung:
