zbMath0712.68018MaRDI QIDQ3197301
Richard Alan Platek
Publication date: 1990
zbMATH Keywords
semantics; program verification; software correctness; inductive definability; flowchart language
Mathematics Subject Classification ID
68N15: Theory of programming languages
68N17: Logic programming
Related Items