Marko Dimjašević

Registered user since Mon 25 Jan 2016

Name:Marko Dimjašević
Affiliation:University of Utah, USA
Research interests:Software verification, software testing

Contributions

Show activities from other conferences

PLDI 2016-profile
View general profile