You can manage bookmarks using lists, please log in to your user account for this.
Media type:
Book;
Conference Proceedings
Title:
Hardware and software: verification and testing
:
third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23 - 25, 2007 ; proceedings