scientific article
From MaRDI portal
Publication:2743709
zbMath0978.68026MaRDI QIDQ2743709
Tiziana Margaria, Jan Nyström, Gustaf Naeser, Bernhard Steffen, Bengt Jonsson
Publication date: 31 January 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items (1)
This page was built for publication:
