TY  - RPRT
TI  - Validated Objects: Specification, Implementation, and Applications
AU  - Antonio Fernández Anta
AU  - Chryssis Georgiou
AU  - Nicolas Nicolaou
AU  - Antonio Russo
PY  - 2022
UR  - https://arxiv.org/abs/2205.13448
ID  - 2205.13448
ER  -