scientific article
From MaRDI portal
Publication:2844831
zbMath1270.68162MaRDI QIDQ2844831
Publication date: 19 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105825630
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
Incompleteness of relational simulations in the blocking paradigm ⋮ Data refinement and singleton failures refinement are not equivalent
This page was built for publication: