@misc{indiciae7be4409d533f,
  title = {Validated Objects: Specification, Implementation, and Applications},
  author = {Antonio Fernández Anta and Chryssis Georgiou and Nicolas Nicolaou and Antonio Russo},
  year = {2022},
  url = {https://arxiv.org/abs/2205.13448},
  note = {Source identifier: 2205.13448}
}