@misc{indiciaebfddc7bc38cd,
  title = {Interactive Formal Specification for Mathematical Problems of Engineers},
  author = {Walther Neuper},
  year = {2024},
  doi = {10.4204/eptcs.400.8},
  url = {https://arxiv.org/abs/2404.05462},
  note = {Source identifier: 2404.05462}
}