Projects per year
Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010
Bernhard Aichernig (Editor), Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor)
Research output: Book/Report › Anthology
Bernhard Aichernig (Editor), Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor)
Research output: Book/Report › Anthology