scientific article
From MaRDI portal
Publication:2906935
zbMath1255.68055MaRDI QIDQ2906935
Dieter Hogrefe, Richard O. Sinnott
Publication date: 5 September 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
This page was built for publication:
