@misc{indiciae303c0468b455,
  title = {Proceedings Tenth Symposium on Working Formal Methods},
  author = {Mircea Marin and Adrian Crăciun},
  year = {2026},
  doi = {10.4204/eptcs.452},
  url = {https://arxiv.org/abs/2609.30324},
  note = {Source identifier: 2609.30324}
}