FM 2009: Formal Methods Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings Cavalcanti Ana Heftet / 2009 / Engelsk
Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever Dams Dennis Heftet / 2010 / Engelsk
Theoretical and Practical Aspects of SPIN Model Checking 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings Dams Dennis Heftet / 1999 / Engelsk
