scientific article
From MaRDI portal
Publication:2845503
zbMath1271.68092MaRDI QIDQ2845503
Flavio Lerda, Nishant Sinha, Michael Theobald
Publication date: 30 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105800088
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)