Multilevel structured program designs and correctness proving
type: Item
instance of: scholarly article
title: Multilevel structured program designs and correctness proving
zbMATH Open document ID: 0841.68075
DOI: 10.1007/BF01130543
author: G. E. Tsejtlin
author: A. V. Bakulin
published in: Cybernetics and Systems Analysis
publication date: 1996-05-20T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N99
zbMATH DE Number: 859584
zbMATH Keywords: program specification
zbMATH Keywords: design language
zbMATH Keywords: MSPD tools
MaRDI profile type: Publication
cites work: Q3709853
cites work: Laws of programming
cites work: The Vienna development method: The meta-language
cites work: A constructive approach to the problem of program correctness
cites work: Q5684216
cites work: Q4723280
description: scientific article; zbMATH DE number 859584