bibtex

@article{EIP0c,
    title = { The Bernays-Sch{\"{o}}nfinkel-Ramsey Class of Separation Logic with Uninterpreted Predicates },
    author = {Echenim, Mnacho and Iosif, Radu and Peltier, Nicolas},
    year = {2020},
    journal = {{ACM} Trans. Comput. Log.},
    number = {3},
    pages = {19:1--19:46},
    volume = {21},
    team = {RSD, axe_Mohytos},
    timestamp = {Thu, 02 Jul 2020 08:35:40 +0200}, biburl = {https://dblp.org/rec/journals/tocl/EchenimIP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org},
}

URL


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

info visites 1683680