Paulino, H. M. C., 1 Jan 2009, Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures.Frank S. de Boer and Marcello M. Bonsangue and Eric Madelain ed. Germany: Springer Berlin Heidelberg, Vol. 5751. p. 226-246 (Lecture Notes in Computer Science; no. 5751).
Research output: Chapter in Book/Report/Conference proceeding › Chapter