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},
}


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

info visites 4190092