@inproceedings{BM7b,
title = { Combining Forward and Backward Abstract Interpretation of {H}orn Clauses },
author = {Bakhirkin, Alexey and Monniaux, David},
year = {2017},
booktitle = {Static analysis (SAS)},
volume = {10422},
team = {PACSS},
entrysubtype = {intc},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.13 +
AHUNTSIC
[CC License]
info visites 6014557
|
|
|