Program composition and composition programming
From MaRDI portal
Publication:1132545
zbMATH Open0419.68009MaRDI QIDQ1132545FDOQ1132545
Authors: V. N. Red'ko
Publication date: 1978
Published in: Programming and Computer Software (Search for Journal in Brave)
General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (1)
This page was built for publication: Program composition and composition programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1132545)