SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
Aleksandar S. Dimovski

Registered user since Sat 15 Jun 2019

Name:Aleksandar S. Dimovski
Affiliation:Mother Teresa University, Skopje
Research interests:Software Product Lines, Static Analysis, Abstract Interpretation, Model Checking

Contributions

GPCE 2021 Lifted Termination Analysis by Abstract Interpretation and its Applications
Show activities from other conferences

Using general profile