Enhancing Dafny Support in Visual Studio Code
Studiengang
Informatik
Art der Arbeit
Bachelorarbeit
Verfasser/in
Marcel Hess
Thomas Kistler
Thomas Kistler
Referent/in
Thomas Corbat
Experte
Guido Zgraggen
/ Google Switzerland, Zürich
Institut
Institut für Software
Jahr
2020