A
Menu
January 01, 2023 conference-paper Open access Aachen paper

Formal Methods

Lecture notes in computer science

DOI: 10.1007/978-3-031-27481-7 Full text (OA) OpenAlex

Authors 3

  1. Marsha Chećhik

    University of Toronto

    Affiliation as printed

    University of Toronto, Toronto, Canada

  2. Joost-Pieter Katoen Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University, Aachen, Germany

  3. Martin Leucker

    University of Lübeck

    Affiliation as printed

    University of Lübeck, Lübeck, Germany

Cited by 0 stored of 0

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

References 40