Gerard Holzmann profile picture

Gerard Holzmann

Is this your author profile? Create an account to claim and customize it!

Stand Alone

NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
NASA Formal Methods
The Cobra Static Code Analyzer - User Guide
More Geometric Knit Blankets: 25 New and Bold Designs
Safe at Home: Blankets to Celebrate Our Favorite Things
Gerard Holzmann — Books & Biography | Menrva Books