Verimag

bibtex

@inproceedings{BBF+00,
    title = {A Transformational Approach for Generating Non-linear Invariants },
    author = {Bensalem, Saddek and Bozga, Marius and Fernandez, Jean-Claude and Ghirvu, Lucian and Lakhnech, Yassine},
    year = {2000},
    booktitle = {Static Analysis, 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000, Proceedings},
    pages = {58-74},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {1824},
    team = {DCS},
}

Publication Sections


Contact | Site Map | Site created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 8 ; visits: 452098