3rd FormaliSE@ICSE 2015: Florence, Italy

Keynote I

Security

Exploratory Applications

Keynote II

Cyber Physical Systems

Program Verification

maintained by Schloss Dagstuhl LZI at University of Trier