Vol-1744
urn:nbn:de:0074-1744-1




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

Keynote

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|