Registered user since Wed 1 Nov 2017
Name: Petar Maksimović
Affiliation: Imperial College London, UK
Contributions
| PLDI 2020 | Author of Gillian, Part I: A Multi-language Platform for Symbolic Execution within the PLDI Research Papers-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile