Publikation:
Dafny Language Server Redesign
Datum
2019
other
Hess, M., & Kistler, T. (2019, December 17). Dafny Language Server Redesign. https://orix.ost.ch/handle/item/19828
Zusammenfassung
Zusätzliche Indizierung
| Departement / Abteilung | Departement Informatik |
|---|---|
| Institut | Abteilung Informatik |
| Institution | HSR Hochschule für Technik Rapperswil |
| Titel | Dafny Language Server Redesign |
| Autor / Autor:in | Hess, Marcel, Kistler, Thomas |
| Datum der Veröffentlichung | 2019-12-17 |
| Thematische Schwerpunkte (Schlagwörter) | Refactoring Testing and Simulation Development Tools Programming Languages C# |
Metriken
Zitationen
Dateien zum Herunterladen
Lade...
Dateigröße2.66 MB
Lizenzbestimmung:
