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
+