@misc{indiciae32a0914bdf32,
  title = {TSL-CALVIN Software Verification and Validation.},
  author = {Kalinina, Elena Arkadievna},
  year = {2014},
  doi = {10.2172/1163120},
  url = {https://www.osti.gov/biblio/1163120},
  note = {Source identifier: 1163120}
}