Verimag

bibtex

@inproceedings{HIV08g,
    title = {What Else Is Decidable about Integer Arrays? },
    author = {Habermehl, Peter and Iosif, Radu and Vojnar, Tom{\'a}s},
    year = {2008},
    booktitle = {Foundations of Software Science and Computational Structures, 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008},
    pages = {474-489},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {4962},
    team = {DCS,PACSS},
}

Publication Sections


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

info visites 916137