@misc{indiciae613341120357,
  title = {Semi-Automatic Extraction of Formal Models from Object Oriented Code},
  author = {P. H. M. van Spaendonck},
  year = {2024},
  url = {https://arxiv.org/abs/2411.12386},
  note = {Source identifier: 2411.12386}
}