bibtex

@inproceedings{IS8d,
    title = {An Entailment Checker for Separation Logic with Inductive Definitions },
    author = {Iosif, Radu and Serban, Cristina},
    year = {2018},
    booktitle = {18th International Workshop on Automated Verification of Critical Systems, AVOCS'18},
    team = {RSD, axe_Mohytos},
}


Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4138013