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