Coby Hanoch

Publication Activity (10 Years)

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

Publications

Joel Blasquez, Marten van Hulst, Andrea Fedeli, Jean-Luc Lambert, Dominique Borrione, Coby Hanoch, Pierre Bricaud
Formal Verification Techniques: Industrial Status and Perspectives. DATE (2002)