bibtex

@inproceedings{BIP08,
    title = {Quantitative Separation Logic and Programs with Lists },
    author = {Bozga, Marius and Iosif, Radu and Perarnau, Swann},
    year = {2008},
    booktitle = {Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings},
    pages = {34-49},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {5195},
    team = {DCS,PACSS},
}


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

info visites 4192045