Modular Verification of Intrusive List and Tree Data Structures in Separation Logic
Publication year
2024Publisher
Schloss Dagstuhl : Leibniz-Zentrum für Informatik
ISBN
9783959773379
In
Leibniz International Proceedings in Informatics, (2024)Bertot, Y. (ed.), 15th International Conference on Interactive Theorem Proving, ITP 2024, September 9-14, 2024, Tbilisi, Georgia, pp. 19:1-19:18ISSN
Annotation
ITP 2024
Publication type
Article in monograph or in proceedings
Display more detailsDisplay less details
Editor(s)
Bertot, Y.
Organization
Software Science
Journal title
Leibniz International Proceedings in Informatics
Book title
Bertot, Y. (ed.), 15th International Conference on Interactive Theorem Proving, ITP 2024, September 9-14, 2024, Tbilisi, Georgia
Page start
p. 19:1
Page end
p. 19:18
Subject
Software ScienceThis item appears in the following Collection(s)
- Academic publications [245186]
- Electronic publications [132505]
- Faculty of Science [37457]
- Open Access publications [106110]
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.