Enhancing Dafny Support in Visual Studio Code

Studiengang
Informatik
Art der Arbeit
Bachelorarbeit
Verfasser/in
Marcel Hess
Thomas Kistler
Referent/in
Thomas Corbat
Experte
Guido Zgraggen / Google Switzerland, Zürich
Institut
Institut für Software
Jahr
2020
Arbeit als PDF
zurück