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