scientific article

zbMath1271.68093MaRDI QIDQ2847430

Vladimir Mencl

Publication date: 9 September 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104051102

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Views on Behaviour Protocols and Their Semantic Foundation

This page was built for publication: