Login / Signup
Baruch Sterin
Publication Activity (10 Years)
Years Active: 2002-2016
Publications (10 Years): 2
Top Topics
Formal Verification
Extended Abstract
Reverse Engineer
Boolean Queries
Top Venues
FMCAD
ICSE (1)
SAT
BCB
</>
Publications
</>