Selected extended papers of VSTTE 2016
From MaRDI portal
Publication:1703005
Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Recommendations
Cited in
(5)
This page was built for publication: Selected extended papers of VSTTE 2016
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1703005)