Analysis and Formal Specification of OpenJDK's BitSet.

Andy S. Tatman Hans-Dieter A. Hiep Stijn de Gouw

Published in: iFM (2023)

Keyphrases

formal specification
reverse engineering
database
databases
information systems
multi agent
multi agent systems
multistage
process algebra