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 |
SPLASH 2019-profile
View general profile
View general profile