Login / Signup
Farnaz Yousefi
Publication Activity (10 Years)
Years Active: 2019-2020
Publications (10 Years): 4
Top Topics
Formal Verification
Belief Propagation
Lightweight
Email
Top Venues
CoRR
Int. J. Softw. Tools Technol. Transf.
SPIN
NSDI
</>
Publications
</>