Flowchart Schemata and the Problem of Nomenclature
From MaRDI portal
Publication:3662590
DOI10.1093/comjnl/26.3.270zbMath0515.68011OpenAlexW2111736075WikidataQ56424262 ScholiaQ56424262MaRDI QIDQ3662590
No author found.
Publication date: 1983
Published in: The Computer Journal (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/comjnl/26.3.270
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items (3)
This page was built for publication: Flowchart Schemata and the Problem of Nomenclature