Publikation:
Visual Studio Code Integration for the Dafny Language and Ptrogramm Verifier
Datum
2017
bachelor_thesis
Krucker, R., & Schaden, M. (2017). Visual Studio Code Integration for the Dafny Language and Ptrogramm Verifier. https://orix.ost.ch/handle/item/19645
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 | Visual Studio Code Integration for the Dafny Language and Ptrogramm Verifier |
| Autor / Autor:in | Krucker, Rafael, Schaden, Markus |
| Betreuer:in | Mehta, Farhad D. |
| Datum der Veröffentlichung | 2017-06-12 |
| submissions.sections.form.dc.identifier.eprints.label | 603 |
| Thematische Schwerpunkte (Schlagwörter) | Development Tools Java Eclipse Windows MacOSX |
Metriken
Zitationen
Dateien zum Herunterladen
Lade...
Dateigröße2.59 MB
Lizenzbestimmung:
