scientific article; zbMATH DE number 3610690
From MaRDI portal
Publication:4174691
zbMath0393.68004MaRDI QIDQ4174691
Steven W. Weingart, David M. Perlman, G. Michael Schneider
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items (2)
This page was built for publication: