You can manage bookmarks using lists, please log in to your user account for this.
Media type:
Book;
Conference Proceedings
Title:
Formal methods for components and objects
:
6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-27, 2007 ; revised papers