The Assayer: Gerald J. Holzmann
add or review a book
Gerald J. Holzmann
Click on this button to review a book by this author that is not yet in the database:
Books in the database by this author
Design and Validation of Computer Protocols
The contents of this web page, except the parts contributed by members of The Assayer, are copyright (c) 2000 by Benjamin Crowell, and are copyleft licensed under the Open Publication License 1.0, without options A or B.