TY  - JOUR
AU  - Dániel Ferenczi
AU  - Melinda Tóth
TI  - Static analysis for safe software upgrade
JO  - Annales mathematicae et informaticae
PY  - 2023
SP  - 9
EP  - 19
VL  - 58
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.33039/ami.2023.08.010/
DO  - 10.33039/ami.2023.08.010
LA  - en
ID  - AMI_2023_58_a1
ER  -