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

Drohnentage an der HSR am 12. und 13. Oktober

13.08.18 - Zum ersten Mal in der Geschichte der DCL wird vor den Hauptrennen des Drone Grand Prix Lake Zurich unweit der Rennstrecke ein vielseitiges Rahmenprogramm angeboten. Die HSR Hochschule für Technik Rapperswil verwandelt den Campus am Zürichsee während zwei Tagen in einen...