conf.researchr.org / 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 |
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 |