Verimag

bibtex

@inproceedings{HIV08h,
    title = {A Logic of Singly Indexed Arrays },
    author = {Habermehl, Peter and Iosif, Radu and Vojnar, Tom{\'a}s},
    year = {2008},
    booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings},
    pages = {558-573},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {5330},
    team = {DCS},
}

Publication Sections


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

Logged in visitors: 36 ; visits: 424341