@article{EIP9h,
title = { {The Bernays-Sch{\"{o}}nfinkel-Ramsey Class of Separation Logic with Uninterpreted Predicates} },
author = {Echenim, Mnacho and Iosif, Radu and Peltier, Nicolas},
year = {2019},
journal = {{ACM Transactions on Computational Logic}},
publisher = {{Association for Computing Machinery}},
team = {RSD, axe_Mohyots},
pdf = {https://hal.archives-ouvertes.fr/hal-02388326/file/tocl.pdf},
hal_id = {hal-02388326},
hal_version = {v1},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.28 +
AHUNTSIC
[CC License]
info visites 32378756
|
|
|