scientific article
From MaRDI portal
Publication:2843912
zbMath1270.68154MaRDI QIDQ2843912
Ian J. Hayes, Colin J. Fidge, Karl Lermer
Publication date: 27 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104810065
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
This page was built for publication:
