scientific article

zbMath0441.68024MaRDI QIDQ3883472

Ildikó Sain, Istvan Németi, Hajnalka Andréka

Publication date: 1979

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

program verificationsemantics of program schemes

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) General logic (03B99)

Related Items (3)

Non-standard algorithmic and dynamic logic ⋮ Recursive programs and denotational semantics in absolute logics of programs ⋮ A complete logic for reasoning about programs via nonstandard model theory. I

This page was built for publication: