Verimag

bibtex

@inproceedings{Ios01,
    title = {Exploiting Heap Symmetries in Explicit-State Model Checking of Software },
    author = {Iosif, Radu},
    year = {2001},
    booktitle = {16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA},
    pages = {254-261},
    publisher = {IEEE Computer Society},
    team = {DCS,PACSS},
}

Publication Sections


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

info visites 776626