scientific article
From MaRDI portal
Publication:3620428
zbMath1172.68541MaRDI QIDQ3620428
Javier Esparza, Stefan Kiefer, Stefan Schwoon
Publication date: 14 April 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
Faster pushdown reachability analysis with applications in network verification ⋮ An automated quantitative information flow analysis for concurrent programs
Uses Software
This page was built for publication:
