bibtex

@inproceedings{SNR+9,
    title = { {SL-COMP: Competition of Solvers for Separation Logic} },
    author = {Sighireanu, Mihaela and Navarro P{\'e}rez, Juan and Rybalchenko, Andrey and Gorogiannis, Nikos and Iosif, Radu and Reynolds, Andrew and Serban, Cristina and Katelaan, Jens and Matheja, Christoph and Noll, Thomas and Zuleger, Florian and Chin, Wei-Ngan and Le, Quang Loc and Ta, Quang-Trung and Le, Ton-Chanh and Nguyen, Thanh-Toan and Khoo, Siau-Cheng and Cyprian, Michal and Rogalewicz, Adam and Vojnar, Tom{\'a}s and Enea, Constantin and Lengal, Ondrej and Gao, Chong and Wu, Zhilin},
    month = {Apr},
    year = {2019},
    booktitle = {{Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019}},
    address = {Prague, Czech Republic},
    pages = {116-132},
    team = {RSD, axe_Mohytos},
    pdf = {https://hal.archives-ouvertes.fr/hal-02388022/file/main.pdf}, hal_id = {hal-02388022}, hal_version = {v1},
}

URL


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

info visites 4093363