scientific article; zbMATH DE number 1303998
From MaRDI portal
Publication:4250667
zbMath0924.68121MaRDI QIDQ4250667
Publication date: 2 November 1999
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)
This page was built for publication:
