You can manage bookmarks using lists, please log in to your user account for this.
Media type:
Book;
Conference Proceedings
Title:
ZB 2002: Formal Specification and Development in Z and B
:
2nd international conference of B and Z Users, Grenoble, France, January 23-25, 2002 ; proceedings