Registered user since Mon 9 Jan 2017

Name:Abdulbaki Aydin
Country:United States
Affiliation:Microsoft, USA
Research interests:Software Verification, Program Analysis, Software Security, Model Counting

Contributions