Semantic program structures

MaRDI QIDQ1157151zbMATH OpenFDO

Authors V. N. Red'ko

Publication date 1981

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

program logics

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(1)

• Composition structure of programmology

This page was built for publication: Semantic program structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1157151)