ESEC/FSE 2018 (series) / Abdulbaki Aydin
Registered user since Mon 9 Jan 2017
Name:Abdulbaki Aydin
Country:United States
Affiliation:Microsoft, USA
Personal website:http://www.cs.ucsb.edu/~baki/
Research interests:Software Verification, Program Analysis, Software Security, Model Counting
Contributions
ESEC/FSE 2018 | Parameterized Model Counting for String and Numeric Constraints | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ESEC/FSE 2018-profile
View general profile
View general profile