zbMath0419.68009MaRDI QIDQ1132545
V. N. Red'ko
Publication date: 1978 Published in: Programming and Computer Software (Search for Journal in Brave)
zbMATH Keywords
program compositioncomposition programming
Mathematics Subject Classification ID
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items