Record link: 
http://hdl.handle.net/20.500.12708/57890
-
Title: 
Strong-separation Logic
en
Citation: 
Pagel, J., & Zuleger, F. (2022). Strong-separation Logic. In ESOP 2021: Programming Languages and Systems (pp. 664–692). Springer. https://doi.org/10.1007/978-3-030-72019-3_24
-
Publisher DOI: 
10.1007/978-3-030-72019-3_24
-
Publication Type: 
Inproceedings - Full-Paper Contribution
en
Language: 
English
-
Authors: 
Pagel, Jens 
Zuleger, Florian 
-
Organisational Unit: 
E192-04 - Forschungsbereich Formal Methods in Systems Engineering 
-
Published in: 
ESOP 2021: Programming Languages and Systems 
-
Volume: 
12648
-
Date (published): 
2022
-
Event name: 
30th European Symposium on Programming (ESOP 2021) 
-
Event date: 
27-Mar-2021 - 1-Apr-2021
-
Event place: 
Luxembourg, Luxembourg
-
Number of Pages: 
29
-
Publisher: 
Springer, 12648
-
Publisher: 
Springer
-
Peer reviewed: 
Yes
-
Keywords: 
Software
-
Research Areas: 
Logic and Computation: 100%
-
Science Branch: 
Informatik
-
Appears in Collections:
Conference Paper

Show full item record

Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.

Page view(s)

137
checked on Oct 17, 2023

Google ScholarTM

Check