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


Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4183786