scientific article
From MaRDI portal
zbMath0539.68010MaRDI QIDQ3326819
Steven M. German, Joseph Y. Halpern, Edmund M. Clarke
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)
Related Items
An observationally complete program logic for imperative higher-order functions, Reasoning about procedures as parameters in the language L4
