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

Page view(s)

285
checked on Nov 23, 2023

Google ScholarTM

Check