Bahman Sistany

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 4

Top Topics

Formal Verification

Clone Detection

Top Venues

EuroS&P Workshops

Publications