Gerard J. Holzmann

Publication Activity (10 Years)

Years Active: 1982-2024
Publications (10 Years): 32

Top Topics

Reactive Planning

Software Reliability

Top Venues

Ann. Math. Artif. Intell.

Publications