Visual Studio Code Integration for the Dafny Language and Program Verifier
Studiengang
Informatik
Art der Arbeit
Bachelorarbeit
Verfasser/in
Rafael Krucker
Markus Schaden
Markus Schaden
Referent/in
Prof. Dr. Farhad D. Mehta
Experte
Dr. Valentin Wüstholz
Partner
Microsoft Research, Redmond WA, USA,
Institut
Institut für Software
Jahr
2017