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

{"_id":"bLdnfM9FjRMcEoHus","bibbaseid":"nemec-aftosmis-towardautomaticverificationofgoalorientedflowsimulations-2014","author_short":["Nemec, M.","Aftosmis, M. J"],"bibdata":{"bibtype":"techreport","type":"techreport","title":"Toward Automatic Verification of Goal-Oriented Flow Simulations","url":"https://ntrs.nasa.gov/citations/20150000864","author":[{"propositions":[],"lastnames":["Nemec"],"firstnames":["Marian"],"suffixes":[]},{"propositions":[],"lastnames":["Aftosmis"],"firstnames":["Michael","J"],"suffixes":[]}],"year":"2014","bibtex":"@techreport{nemec2014,\n\ttitle = {Toward {Automatic} {Verification} of {Goal}-{Oriented} {Flow} {Simulations}},\n\turl = {https://ntrs.nasa.gov/citations/20150000864},\n\tauthor = {Nemec, Marian and Aftosmis, Michael J},\n\tyear = {2014},\n}\n\n\n\n","author_short":["Nemec, M.","Aftosmis, M. J"],"key":"nemec2014","id":"nemec2014","bibbaseid":"nemec-aftosmis-towardautomaticverificationofgoalorientedflowsimulations-2014","role":"author","urls":{"Paper":"https://ntrs.nasa.gov/citations/20150000864"},"metadata":{"authorlinks":{}}},"bibtype":"techreport","biburl":"https://bibbase.org/zotero-group/khanquist/4882481","dataSources":["qwkM8ZucCwtxbnXfc","ya2CyA73rpZseyrZ8","2252seNhipfTmjEBQ"],"keywords":[],"search_terms":["toward","automatic","verification","goal","oriented","flow","simulations","nemec","aftosmis"],"title":"Toward Automatic Verification of Goal-Oriented Flow Simulations","year":2014}