Publication:3886835
From MaRDI portal
zbMath0443.68007MaRDI QIDQ3886835
Publication date: 1980
68N01: General topics in the theory of software
Related Items
Non-standard algorithmic and dynamic logic, A complete logic for reasoning about programs via nonstandard model theory. I, A complete logic for reasoning about programs via nonstandard model theory. II, Temporal theories as modularisation units for concurrent system specification, Recursive programs and denotational semantics in absolute logics of programs