scientific article
From MaRDI portal
Publication:3984711
zbMath0738.68025MaRDI QIDQ3984711
Publication date: 27 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Database theory (68P15) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
This page was built for publication: