ESEC/FSE 2020 (series) / Darko Marinov

Registered user since Thu 3 Jan 2019
Name: Darko Marinov
Bio: Please see my website
Affiliation: University of Illinois at Urbana-Champaign
Personal website: http://mir.cs.illinois.edu/marinov
Research interests: Software Engineering
Contributions
ESEC/FSE 2020 | AlloyMC: Alloy Meets Model Counting | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ESEC/FSE 2020-profile
View general profile
View general profile