Publikation:
Visual Studio Code Integration for the Dafny Language and Ptrogramm Verifier
Datum
2017
Bachelorarbeit
Krucker, R., & Schaden, M. (2017). Visual Studio Code Integration for the Dafny Language and Ptrogramm Verifier. https://orix.ost.ch/handle/20.500.14978/19645
Zusammenfassung
Zusätzliche Indizierung
| Departement / Abteilung | |
|---|---|
| Institut/ Bereich | |
| Institution | HSR Hochschule für Technik Rapperswil |
| Studienabschluss | Bachelor of Science (BSc) |
| Studiengang | Computer Science |
| Titel | Visual Studio Code Integration for the Dafny Language and Ptrogramm Verifier |
| Autor:in | |
| Betreuer:in | |
| Datum der Veröffentlichung | 2017 |
| eprints-ID | 603 |
| Thematische Schwerpunkte | Development Tools Java Eclipse Windows MacOSX |
Metriken
Ansichten
1 seit hinterlegt am 2026-06-23
Erwerbsdatum: 2026-10-06
Zitationen
Dateien zum Herunterladen
Lade...
Dateigröße2.59 MB
Lizenzbestimmung:
