SLE 2021
Sun 17 - Tue 19 October 2021 Chicago, Illinois, United States
co-located with SPLASH 2021
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


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

Using general profile