Geodesic
Static analysis for safe software upgrade
Annales mathematicae et informaticae, Tome 58 (2023), pp. 9-19.

Voir la notice de l'article provenant de la source Annales Mathematica et Informaticae website

@article{AMI_2023_58_a1,
     author = {D\'aniel Ferenczi and Melinda T\'oth},
     title = {Static analysis for safe software upgrade},
     journal = {Annales mathematicae et informaticae},
     pages = {9--19},
     publisher = {mathdoc},
     volume = {58},
     year = {2023},
     doi = {10.33039/ami.2023.08.010},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.33039/ami.2023.08.010/}
}
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  - 
%0 Journal Article
%A Dániel Ferenczi
%A Melinda Tóth
%T Static analysis for safe software upgrade
%J Annales mathematicae et informaticae
%D 2023
%P 9-19
%V 58
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.33039/ami.2023.08.010/
%R 10.33039/ami.2023.08.010
%G en
%F AMI_2023_58_a1
Dániel Ferenczi; Melinda Tóth. Static analysis for safe software upgrade. Annales mathematicae et informaticae, Tome 58 (2023), pp. 9-19. doi : 10.33039/ami.2023.08.010. http://geodesic.mathdoc.fr/articles/10.33039/ami.2023.08.010/

Cité par Sources :