Generating a program with complex structural links
From MaRDI portal
Publication:1132550
zbMath0419.68015MaRDI QIDQ1132550
V. N. Zakharov, V. A. Kozmidiadi
Publication date: 1977
Published in: Programming and Computer Software (Search for Journal in Brave)
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01) Theory of operating systems (68N25)
This page was built for publication: Generating a program with complex structural links