Registered user since Fri 24 Aug 2018

Name: Miroslav Gavrilov

Affiliation: University of California at Santa Barbara, USA

Contributions

ESEC/FSE 2018Author of Parameterized Model Counting for String and Numeric Constraints within the Research Papers-track
Show activities from other conferences

ESEC/FSE 2018-profile
View general profile