scientific article
From MaRDI portal
Publication:2766776
zbMATH Open0988.68540MaRDI QIDQ2766776
Publication date: 22 July 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Abstract Interpretation as Automated Deduction ⋮ Bridging the Gap: Automatic Verified Abstraction of C ⋮ Unnamed Item ⋮ Verification by augmented abstraction: The automata-theoretic view ⋮ Abstract interpretation of recursive logic definitions for efficient runtime assertion checking ⋮ Formal Methods at the Crossroads. From Panacea to Foundational Support
This page was built for publication:
