Toggle navigation
reposiTUm
ÜBER REPOSITUM
HILFE
Anmelden
Aktuelles
Browsen nach
Publikationstypen
Organisationseinheiten
Forschende
Projekte
TU Wien Academic Press
Open-Access-Schriftenreihen
Hochschulschriften
Digitalisate
Erscheinungsjahr
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
-
Organisationseinheit:
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
Erschienen in:
ESOP 2021: Programming Languages and Systems
-
Band:
12648
-
Datum (veröffentlicht):
2022
-
Veranstaltungsname:
30th European Symposium on Programming (ESOP 2021)
-
Veranstaltungszeitraum:
27-Mär-2021 - 1-Apr-2021
-
Veranstaltungsort:
Luxembourg, Luxemburg
-
Umfang:
29
-
Verlag:
Springer, 12648
-
Verlag:
Springer
-
Peer Reviewed:
Ja
-
Keywords:
Software
-
Forschungsschwerpunkte:
Logic and Computation: 100%
-
Wissenschaftszweig:
Informatik
-
Enthalten in den Sammlungen:
Conference Paper
Zur Langanzeige
Seiten Aufrufe
287
aufgerufen am 23.11.2023
Google Scholar
TM
Check