scientific article

zbMath0974.68185MaRDI QIDQ2754049

Martin Hofmann, Francis C. Y. Tang

Publication date: 18 December 2001

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts, Hoare logic for Java in Isabelle/HOL