scientific article
From MaRDI portal
Publication:4040941
zbMath0702.68012MaRDI QIDQ4040941
David Bustard, John Elder, Jim Welsh
Publication date: 5 June 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) Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01)
Uses Software
This page was built for publication: