bibtex

@article{'BBL+6',
    title = { Component-based verification using incremental design and invariants },
    author = {Bensalem, Saddek and Bozga, Marius and Legay, Axel and Nguyen, Thanh-Hung and Sifakis, Joseph and Yan, Rongjie},
    year = {2016},
    journal = {Software and System Modeling},
    number = {2},
    pages = {427--451},
    volume = {15},
    team = {DCS, RSD},
}

URL


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4190526