Enhancing Dafny Support in Visual Studio Code

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