Verified software. Theories, tools, and experiments. 9th international conference, VSTTE 2017, Heidelberg, Germany, July 22--23, 2017. Revised selected papers
From MaRDI portal
Publication:1686911
DOI10.1007/978-3-319-72308-2zbMATH Open1400.68033OpenAlexW2771868411MaRDI QIDQ1686911
Author name not available (Why is that?)
Publication date: 18 December 2017
Published in: (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-72308-2
No records found.
This page was built for publication: Verified software. Theories, tools, and experiments. 9th international conference, VSTTE 2017, Heidelberg, Germany, July 22--23, 2017. Revised selected papers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1686911)
