Aaron Rich

Publication Activity (10 Years)

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

Publications

Aaron Rich, Giora Alexandron, Reuven Naveh
An Explanation-Based Constraint Debugger. Haifa Verification Conference (2009)