Publication:3400636
From MaRDI portal
zbMath1195.68090MaRDI QIDQ3400636
Publication date: 5 February 2010
Related Items
Structural Abstract Interpretation: A Formal Study Using Coq, Verification conditions for source-level imperative programs
Uses Software