Katalog der Deutschen Nationalbibliothek

Go to:

Catalogue (Beta)

Media

Free online access
Free online access

Gerhard Schellhorn, Stefan Bodenmüller, Martin Bitterlich et al.

Separating separation logic – modular verification of red-black trees

Augsburg: Universität Augsburg et al., 2023

Title

Separating separation logic – modular verification of red-black trees / Gerhard Schellhorn, Stefan Bodenmüller, Martin Bitterlich, Wolfgang Reif

Involved 

Gerhard Schellhorn (Verfasser)
Stefan Bodenmüller (Verfasser)
Martin Bitterlich (Verfasser)
Wolfgang Reif (Verfasser)

Published

Augsburg: Universität Augsburg
Cham: Springer
2023

Extent

Online-Ressource

Language

Englisch

Country

Deutschland

Topic

Informatik

DDC notation

005.1

Persistent identifier

urn:nbn:de:bvb:384-opus4-1018172 (URN)
10.1007/978-3-031-25803-9_8 (DOI)

Further information

In: Lecture Notes in Computer Science, 13800, S. 129-147

Record ID

128080520X
Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

DNB portal