Formal Methods Europe

Homepage of FME

Author Archive

FME Annual General Meeting 2013 - A Celebration of Formal Methods

By editor • Jan 9th, 2013 • Category: FME Meeting

The Formal Methods Europe Annual General Meeting 2013 and Celebration of Formal Methods, was held on Friday 8 March 2013 at CWI, Amsterdam, The Netherlands. Four invited speakers gave presentations on current research in a day that was both enjoyable and informative.
ABSTRACTS AND SLIDES OF THE INVITED TALKS

prof. dr. Frank S. de Boer, CWI and [...]



I-Day at FM 2005

By editor • Feb 11th, 2011 • Category: Uncategorized