bibtex

@inproceedings{BLN+0,
    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},
}


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

info visites 3899647