Verified software: theories, tools and experiments. 6th international conference, VSTTE 2014, Vienna, Austria, July 17--18, 2014. Revised selected papers
From MaRDI portal
Publication:492694
DOI10.1007/978-3-319-12154-3zbMATH Open1326.68019OpenAlexW4252696280MaRDI QIDQ492694
Author name not available (Why is that?)
Publication date: 20 August 2015
Published in: (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-12154-3
No records found.
This page was built for publication: Verified software: theories, tools and experiments. 6th international conference, VSTTE 2014, Vienna, Austria, July 17--18, 2014. Revised selected papers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q492694)
