Login / Signup
Andy S. Tatman
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Reverse Engineering
Database
Multistage
Formal Specification
Top Venues
iFM
</>
Publications
</>
Andy S. Tatman
,
Hans-Dieter A. Hiep
,
Stijn de Gouw
Analysis and Formal Specification of OpenJDK's BitSet.
iFM
(2023)