bibtex

@inproceedings{BI07,
    title = {On Flat Programs with Lists },
    author = {Bozga, Marius and Iosif, Radu},
    year = {2007},
    booktitle = {Verification, Model Checking, and Abstract Interpretation, 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings},
    pages = {122-136},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {4349},
    team = {DCS,PACSS},
}


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

info visites 3899828