Verimag

bibtex

@inproceedings{BLN+10,
    title = {Incremental Invariant Generation for Compositional Design },
    author = {Bensalem, Saddek and Legay, Axel and Nguyen, Thanh-Hung and Sifakis, Joseph and Yan, Rongjie},
    year = {2010},
    booktitle = {4th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, 25-27 August 2010},
    pages = {157-167},
    publisher = {IEEE Computer Society},
    team = {DCS, RSD},
}

Publication Sections


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

info visites 775263