@inproceedings{PH07,
title = { An abstract domain extending {D}ifference-{B}ound {M}atrices with disequality constraints },
author = {P\'eron, Mathias and Halbwachs, Nicolas},
month = {jan},
year = {2007},
booktitle = {8th International Conference on Verification, Model-checking, and Abstract Intepretation, VMCAI'07},
address = {Nice, France},
team = {SYNC},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.28 +
AHUNTSIC
[CC License]
info visites 32823856
|
|
|