@misc{indiciae43e7fe33ddd7,
  title = {From Correct Specifications to Automatically Verified Implementations},
  author = {Mariano M. Moscato and Laura Titolo and Aaron Dutle and César Muñoz},
  url = {https://ntrs.nasa.gov/citations/20220009509},
  note = {Source identifier: 20220009509}
}