bibtex

@inproceedings{Ios8d,
    title = { {Program Verification with Separation Logic} },
    author = {Iosif, Radu},
    month = {Jun},
    year = {2018},
    booktitle = {{Model Checking Software - 25th International Symposium, {SPIN} 2018}},
    address = {Malaga, Spain},
    team = {RSD, axe_Mohytos},
    pdf = {https://hal.archives-ouvertes.fr/hal-02388033/file/abstract.pdf}, hal_id = {hal-02388033}, hal_version = {v1},
}

URL


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

info visites 1683825