Books By Gerard J. Holzmann, Björn Pehrson - Author

Gerard J. Holzmann is a Dutch-born American computer scientist and researcher at Bell Labs and NASA, best known as the developer of the SPIN model checker. Björn Pehrson is the author of The Early History of Data Networks, published by Wiley.