@article{BH8,
title = { Improving the results of program analysis by abstract interpretation beyond the decreasing sequence },
author = {Boutonnet, R\'emy and Halbwachs, Nicolas},
month = {dec},
year = {2018},
journal = {Formal Methods in System Design},
number = {3},
pages = {384--406},
volume = {53},
team = {PACSS},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.28 +
AHUNTSIC
[CC License]
info visites 32604856
|
|
|