Semantic program structures

From MaRDI portal

Publication:1157151

Jump to:navigation, search

zbMath0469.68021MaRDI QIDQ1157151

V. N. Red'ko

Publication date: 1981

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

zbMATH Keywords

Mathematics Subject Classification ID

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

Related Items (1)

Composition structure of programmology

This page was built for publication: Semantic program structures

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1157151&oldid=13223241"