A
Menu
August 30, 2025 conference-paper Aachen paper

Beyond Concurrent Separation Logic: Who is Afraid of Completeness Proofs?

Lecture notes in computer science, pp. 301–319

DOI: 10.1007/978-3-031-97439-7_15 OpenAlex

Authors 2

  1. Frank S. de Boer corresponding Aachen Leiden Institute of Advanced Computer Science

    Leiden University

    Affiliation as printed

    Leiden Institute of Advanced Computer Science (LIACS), Leiden, The Netherlands

  2. Hans-Dieter A. Hiep Aachen Leiden Institute of Advanced Computer Science

    Leiden University

    Affiliation as printed

    Leiden Institute of Advanced Computer Science (LIACS), Leiden, The Netherlands

Cited by 0 stored of 0

No patents citing this paper on Lens.org (checked 2026-10-11).

References 13

13 results