FM-DS 2016
Formal Methods Doctoral Symposium 2016

Proceedings of the Formal Methods 2016 Doctoral Symposium
co-located with 21st International Symposium on Formal Methods (FM 2016)

Limassol, Cyprus, November 8th, 2016.

Edited by

Andrew Butterfield *
Matteo Rossi **

* Trinity College Dublin, School of Computer Science and Statistics, Dublin 2, Ireland
** Politechnico di Milano, Dipartimento di Elettronica Informazione e Bioingegneria, Milan, Italy

Table of Contents


Session 1

Session 2

Session 3

2016-11-23: submitted by Andrew Butterfield, metadata incl. bibliographic data published under Creative Commons CC0
2016-11-24: published on CEUR-WS.org |valid HTML5|