A
Menu
November 06, 2023 conference-paper Open access Aachen paper

Analysis and Formal Specification of OpenJDK’s BitSet

Lecture notes in computer science, pp. 134–152

DOI: 10.1007/978-3-031-47705-8_8 Full text (OA) OpenAlex

Authors 3

  1. Andy S. Tatman 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 · Centrum Wiskunde & Informatica

    Affiliation as printed

    Centrum Wiskunde and Informatica, Amsterdam, The Netherlands

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

  3. Stijn de Gouw

    Open University of the Netherlands

    Affiliation as printed

    Open Universiteit, Heerlen, The Netherlands

Cited by 1 stored of 1

1 result

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

References 16

16 results