Publications

DBLP:conf/fmcad/Griggio11

Summary

Alberto Griggio (2011) Effective word-level interpolation for software verification. In FMCAD., pages 28-36. (url)

Bibtex entry

@INPROCEEDINGS { DBLP:conf/fmcad/Griggio11,
    AUTHOR = { Alberto Griggio },
    TITLE = { Effective word-level interpolation for software verification },
    BOOKTITLE = { FMCAD },
    YEAR = { 2011 },
    PAGES = { 28-36 },
    EE = { http://dl.acm.org/citation.cfm?id=2157662 },
    CROSSREF = { DBLP:conf/fmcad/2011 },
    BIBSOURCE = { DBLP, http://dblp.uni-trier.de },
}