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

Footprint Logic for Object-Oriented Components

Lecture notes in computer science, pp. 141–160

DOI: 10.1007/978-3-031-20872-0_9 Full text (OA) OpenAlex

Authors 4

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

    Leiden University · Centrum Wiskunde & Informatica

    Affiliation as printed

    Centrum Wiskunde & Informatica, Amsterdam, The Netherlands

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

  2. Stijn de Gouw corresponding

    Centrum Wiskunde & Informatica · Open University of the Netherlands

    Affiliation as printed

    Centrum Wiskunde & Informatica, Amsterdam, The Netherlands

    Open Universiteit, Heerlen, The Netherlands

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

    Leiden University · Centrum Wiskunde & Informatica

    Affiliation as printed

    Centrum Wiskunde & Informatica, Amsterdam, The Netherlands

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

  4. Jinting Bian Aachen Leiden Institute of Advanced Computer Science

    Leiden University · Centrum Wiskunde & Informatica

    Affiliation as printed

    Centrum Wiskunde & Informatica, Amsterdam, The Netherlands

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

Cited by 1 stored of 1

1 result

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

References 14

14 results