SPLASH 2019 (series) / Aleksandar S. Dimovski
Registered user since Sat 15 Jun 2019
Name: Aleksandar S. Dimovski
Contributions
| GPCE 2019 | Author of Lifted Static Analysis using a Binary Decision Diagram Abstract Domain within the GPCE 2019-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile