top of page

Decomantra Group

Public·10 members

IFM_10-October 2022


A. S. Dimovski,S. Apel, and A. Legay. Several Lifted Abstract Domains for Static Analysis of Numerical Program Families. In In Science of Computer Programming (SCP), Vol. 213: 102725, Elsevier, 2022. (PDF)




IFM_10-October 2022

041b061a72


  • About

    Welcome to the group! You can connect with other members, ge...

    bottom of page