scientific article; zbMATH DE number 1500648
From MaRDI portal
Publication:4501670
zbMath0956.68086MaRDI QIDQ4501670
Publication date: 7 November 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (3)
Structural operational semantics through context-dependent behaviour ⋮ Verification conditions for source-level imperative programs ⋮ Fifty years of Hoare's logic
Uses Software
This page was built for publication:
