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