Gerard Holzmann

Gerard Holzmann

2 ספרים במאגר

ספרים

Safe at HomeGerard Holzmann

Gerard Holzmann · 2022

Spin Model CheckerGerard Holzmann

Spin Model Checker

Gerard Holzmann · 2003

ספרים משותפים ואוספים

ספרים שבהם Gerard Holzmann מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

NASA Formal MethodsKlaus Havelund

NASA Formal Methods

Klaus Havelund · 2015

More Geometric Knit BlanketsMargaret Holzmann

More Geometric Knit Blankets

Margaret Holzmann · 2022