@inproceedings{BH9,
title = { Disjunctive relational abstract interpretation for interprocedural program analysis },
author = {Boutonnet, R\'emy and Halbwachs, Nicolas},
month = {jan},
year = {2019},
booktitle = {VMCAI 2019 - 20th International Conference on Verification, Model Checking, and Abstract Interpretation},
address = {Cascais, Portugal},
team = {PACSS},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.13 +
AHUNTSIC
[CC License]
info visites 6008847
|
|
|