Datensatz Zitierlink: 
http://hdl.handle.net/20.500.12708/57890
-
Titel: 
Strong-separation Logic
en
Zitat: 
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
-
Verlags-DOI: 
10.1007/978-3-030-72019-3_24
-
Publikationstyp: 
Konferenzbeitrag - Full-Paper Contribution
de
Sprache: 
Englisch
-
Autor_innen: 
Pagel, Jens 
Zuleger, Florian 
-
Organisations­einheit: 
E192-04 - Forschungsbereich Formal Methods in Systems Engineering 
-
Erschienen in: 
ESOP 2021: Programming Languages and Systems 
-
Band: 
12648
-
Datum (veröffentlicht): 
2022
-
Veranstaltungs­name: 
30th European Symposium on Programming (ESOP 2021) 
-
Veranstaltungs­zeitraum: 
27-Mär-2021 - 1-Apr-2021
-
Veranstaltungs­ort: 
Luxembourg, Luxemburg
-
Umfang: 
29
-
Verlag: 
Springer, 12648
-
Verlag: 
Springer
-
Peer Reviewed: 
Ja
-
Keywords: 
Software
-
Forschungs­schwerpunkte: 
Logic and Computation: 100%
-
Wissenschafts­zweig: 
Informatik
-
Enthalten in den Sammlungen:
Conference Paper

Zur Langanzeige

Seiten Aufrufe

287
aufgerufen am 23.11.2023

Google ScholarTM

Check