scientific article
From MaRDI portal
Publication:4038659
zbMath0765.68124MaRDI QIDQ4038659
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication: