TY  - RPRT
TI  - Semi-Automatic Extraction of Formal Models from Object Oriented Code
AU  - P. H. M. van Spaendonck
PY  - 2024
UR  - https://arxiv.org/abs/2411.12386
ID  - 2411.12386
ER  -