Ziv Binyamini

Publication Activity (10 Years)

Years Active: 1998-1998
Publications (10 Years): 0

Publications

Gila Kamhi, Limor Fix, Ziv Binyamini
Symbolic Model Checking Visualization. FMCAD (1998)