bibtex

@inproceedings{Ios8,
    title = { Program Verification with Separation Logic },
    author = {Iosif, Radu},
    year = {2018},
    booktitle = {Model Checking Software - 25th International Symposium, {SPIN} 2018, Malaga, Spain, June 20-22, 2018, Proceedings},
    crossref = {DBLP:conf/spin/2018},
    pages = {48--62},
    team = {RSD},
    timestamp = {Mon, 18 Jun 2018 13:10:07 +0200}, biburl = {https://dblp.org/rec/bib/conf/spin/Iosif18}, bibsource = {dblp computer science bibliography, https://dblp.org},
}

URL

Publication Sections


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

info visites 1209484