scientific article
From MaRDI portal
Publication:2847776
zbMath1271.68082MaRDI QIDQ2847776
Franco Barbanera, Ugo de'Liguoro
Publication date: 11 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104051412
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
This page was built for publication:
