Studien- und Bachelor-Arbeiten

Visual Studio Code Integration for the Dafny Language and Program Verifier

Verfasser

Krucker Rafael
Schaden Markus

Themengebiet

Software Engineering - Core Systems

Studiengang

Informatik

Examinator/in

Prof. Dr. Farhad D. Mehta

Experte/in

Dr. Valentin Wüstholz

Projektpartner

Microsoft Research
Redmond WA, USA

Erstellungsjahr

2017

Typ

Bachelorarbeit

 

Abstract 992 KB

Zurück zur Übersicht

Bachelor-Infotag am 16. März 2019

12.11.18 - Lernen Sie unsere Studiengänge und den HSR Campus kennen.