A brief overview of the state-of-the-practice and current challenges of solution verification

From MaRDI portal
Publication:3196290

DOI10.1007/978-3-540-77362-7_10zbMATH Open1328.65207OpenAlexW48698514MaRDI QIDQ3196290FDOQ3196290


Authors: François M. Hemez, James R. Kamm Edit this on Wikidata


Publication date: 29 October 2015

Published in: Lecture Notes in Computational Science and Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-77362-7_10




Recommendations




Cites Work


Cited In (4)





This page was built for publication: A brief overview of the state-of-the-practice and current challenges of solution verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3196290)