bibtex

@inproceedings{EIP9b,
    title = { {The Bernays-Sch{\"o}nfinkel-Ramsey Class of Separation Logic on Arbitrary Domains} },
    author = {Echenim, Mnacho and Iosif, Radu and Peltier, Nicolas},
    month = {Apr},
    year = {2019},
    booktitle = {{Foundations of Software Science and Computation Structures (FOSSACS) - 22nd International Conference}},
    address = {Prague, Czech Republic},
    pages = {242-259},
    team = {RSD},
    pdf = {https://hal.archives-ouvertes.fr/hal-02094154/file/paper_9%20%281%29.pdf}, hal_id = {hal-02094154}, hal_version = {v1},
}

URL

Publication Sections


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

info visites 1572217