Visual Studio Code Integration for the Dafny Language and Program Verifier

Art der Arbeit
Bachelorarbeit
Autor/-en
Rafael Krucker
Markus Schaden
Referent/-en
Prof. Dr. Farhad D. Mehta
Experte
Dr. Valentin Wüstholz / ,
Partner
Microsoft Research, Redmond WA, USA,
Institut
Institut für Software
Jahr
2017
Arbeit als PDF
zurück