Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Gerard Holzmann | lit.salon

Author

Gerard Holzmann

4 works

2003–2022 across 4 dated works

No biography is available yet.

Start with

Spin Model Checker Primer and Reference Manual2003
NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings2011
With Klaus Havelund, Rajeev Joshi
More Geometric Knit Blankets 25 New and Bold Designs2022
With Margaret Holzmann
Safe at Home Blankets to Celebrate Our Favorite Things2022
With Margaret Holzmann

Books

4 works

Featured (4)Featured (4)All (4)All (4)

Search booksSort books

NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings2011
With Klaus Havelund, Rajeev Joshi
4 editions
shelves
0
reviews
0
lists
0
quotes
0
Safe at Home Blankets to Celebrate Our Favorite Things2022
With Margaret Holzmann
2 editions
shelves
0
reviews
0
lists
0
quotes
0
More Geometric Knit Blankets 25 New and Bold Designs2022
With Margaret Holzmann
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Spin Model Checker Primer and Reference Manual2003
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Gerard Holzmann.

The conversation is still open.

There is no public salon activity to show for Gerard Holzmann yet.