scientific article; zbMATH DE number 1746451

zbMATH Open0985.68667MaRDI QIDQ4532082

Javier Esparza

Publication date: 28 May 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2067/20670183

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Generalization strategies for the verification of infinite state systems ⋮ Unnamed Item

This page was built for publication: