SL-COMP: Competition of Solvers for Separation Logic.
Mihaela SighireanuJuan Antonio Navarro PérezAndrey RybalchenkoNikos GorogiannisRadu IosifAndrew ReynoldsCristina SerbanJens KatelaanChristoph MathejaThomas NollFlorian ZulegerWei-Ngan ChinQuang Loc LeQuang-Trung TaTon-Chanh LeThanh-Toan NguyenSiau-Cheng KhooMichal CyprianAdam RogalewiczTomás VojnarConstantin EneaOndrej LengálChong GaoZhilin WuPublished in: TACAS (3) (2019)