Tool Artifact for "Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation''
| Main Authors: | Aleksandar Dimovski, Sven Apel |
|---|---|
| Format: | info software Journal |
| Bahasa: | eng |
| Terbitan: |
, 2021
|
| Subjects: | |
| Online Access: |
https://zenodo.org/record/4703721 |
| Description not available. |