Information structurization of programs

DOI10.1007/BF01072294zbMath0445.68011OpenAlexW2030400688MaRDI QIDQ3890091

V. Eh. Itkin

Publication date: 1979

Published in: Cybernetics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01072294

zbMATH Keywords

information structurization of programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items (1)

Analysis and synthesis of structured parallel programs

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: Information structurization of programs