scientific article; zbMATH DE number 4121404
From MaRDI portal
Publication:4734754
zbMath0684.68027MaRDI QIDQ4734754
Gheorghe Ştefănescu, Virgil Emil Căzănescu
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of computing (68Q99)
Related Items (2)
A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization ⋮ The algebra of stream processing functions
This page was built for publication: