scientific article
From MaRDI portal
Publication:2754091
zbMath0974.68551MaRDI QIDQ2754091
Michael McDougall, Radu Grosu, Rajeev Alur
Publication date: 11 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (3)
Verification of scope-dependent hierarchical state machines ⋮ Grey-Box Checking ⋮ Translating Java for multiple model checkers: The Bandera back-end
Uses Software
This page was built for publication:
