Multilevel structured program designs and correctness proving
From MaRDI portal
Publication:1910975
DOI10.1007/BF01130543zbMath0841.68075MaRDI QIDQ1910975
Publication date: 20 May 1996
Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)
68Q60: Specification and verification (program logics, model checking, etc.)
68N99: Theory of software
Related Items
Formalization of interrelations between operators and data within the framework of an extended algebra of algorithms, On the creation of a macromodel of social development, Formalized program specifications and transformation synthesis, Algebraic-grammatical models of parallel computation
Cites Work