Sepideh Asadi

Registered user since Sat 30 Mar 2019

Name:Sepideh Asadi
Affiliation:PhD Student
Research interests:Software verification, SMT solving, Bounded Model Checking

Contributions