scientific article; zbMATH DE number 1569125
From MaRDI portal
Publication:4762651
zbMath0968.68094MaRDI QIDQ4762651
Publication date: 22 February 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (1)
This page was built for publication:
