@misc{indiciae51c6d592bc80,
  title = {Specification Inference for Evolving Systems},
  author = {Renzo Degiovanni and Facundo Molina and Agustin Nolasco and Nazareno Aguirre and Mike Papadakis},
  year = {2023},
  url = {https://arxiv.org/abs/2301.12403},
  note = {Source identifier: 2301.12403}
}