![Marko Dimjašević](https://pldi16.sigplan.org/getProfileImage/markodimjasevic/7087ae07-fae9-41e9-84f8-3a4c5e87f59b/small.jpg?1712028394000)
Registered user since Mon 25 Jan 2016
Name:Marko Dimjašević
Affiliation:University of Utah, USA
Personal website: https://dimjasevic.net/marko/
Research interests:Software verification, software testing
Contributions
PLDI 2016-profile
View general profile
View general profile