Write a Blog >>
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