ESEC/FSE 2020 (series) / Darko Marinov
Registered user since Thu 3 Jan 2019
Name: Darko Marinov
Bio: Please see my website
Country: United States
Affiliation: University of Illinois at Urbana-Champaign
Personal website: http://mir.cs.illinois.edu/marinov
Research interests: Software Engineering
Contributions
| ESEC/FSE 2020 | Author of AlloyMC: Alloy Meets Model Counting within the Tool Demos-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile