@misc{indiciaea8db258f70e9,
  title = {Toward Automatic Verification of Goal-Oriented Flow Simulations},
  author = {Nemec, Marian and Aftosmis, Michael J.},
  year = {2014},
  url = {https://ntrs.nasa.gov/citations/20150000864},
  note = {Source identifier: 20150000864}
}