scientific article
From MaRDI portal
Publication:3996874
zbMath0727.68001MaRDI QIDQ3996874
Viktor K. Sabelfeld, Vadim E. Kotov
Publication date: 17 September 1992
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)
Related Items (4)
Constructive-synthesizing structures and their grammatical interpretations. II. Refining transformations ⋮ Program schemata technique for propositional program logics: a 30-year history ⋮ Linear morphisms in a topos ⋮ Programs with restoration of computations
This page was built for publication:
