Media type: E-Article Title: Separating separation logic – modular verification of red-black trees Contributor: Schellhorn, Gerhard [Author]; Bodenmüller, Stefan [Author]; Bitterlich, Martin [Author]; Reif, Wolfgang [Author] Published: Augsburg University Publication Server (OPUS), 2023-02-08 Language: English DOI: https://doi.org/10.1007/978-3-031-25803-9_8 ISBN: 978-3-031-25802-2 Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Access State: Open Access