Gerard J. Holzmann
2 published titles
Design and validation of computer protocols
1 edition
- ISBN: 0135398347
- Prentice-Hall International
- 1991
- Details
NASA formal methods : 7th international symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, proceedings
(Contributor)
1 edition
- ISBN: 9783319175232
- Springer
- 2015
- Details
