Separation logic and logics with team semantics
Haase, Darion; Grädel, Erich (Corresponding author); Wilke, Richard Marlon
Amsterdam [u.a.] : Elsevier (2021, 2022)
Beitrag zu einem Tagungsband, Fachzeitschriftenartikel
In: Annals of pure and applied logic
Band: 173
Heft: 10
Seite(n)/Artikel-Nr.: 103063
Identifikationsnummern
- DOI: 10.1016/j.apal.2021.103063
- RWTH PUBLICATIONS: RWTH-2022-05561