You can manage bookmarks using lists, please log in to your user account for this.
Media type:
E-Book;
Conference Proceedings
Title:
Applied Formal Methods - FM-Trends 98
:
International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings