TY  - RPRT
TI  - Specification Inference for Evolving Systems
AU  - Renzo Degiovanni
AU  - Facundo Molina
AU  - Agustin Nolasco
AU  - Nazareno Aguirre
AU  - Mike Papadakis
PY  - 2023
UR  - https://arxiv.org/abs/2301.12403
ID  - 2301.12403
ER  -