(2019). SL-COMP: Competition of Solvers for Separation Logic. Tools and Algorithms for the Construction and Analysis of Systems, 11429, . https://doi.org/10.1007/978-3-030-17502-3_8
Chicago-Zitierstil (17. Ausg.)"SL-COMP: Competition of Solvers for Separation Logic." Tools and Algorithms for the Construction and Analysis of Systems 11429 (2019). https://doi.org/10.1007/978-3-030-17502-3_8.
MLA-Zitierstil (9. Ausg.)"SL-COMP: Competition of Solvers for Separation Logic." Tools and Algorithms for the Construction and Analysis of Systems, vol. 11429, 2019, https://doi.org/10.1007/978-3-030-17502-3_8.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.