scientific article; zbMATH DE number 1953018
From MaRDI portal
Publication:4414376
zbMath1022.68577MaRDI QIDQ4414376
Publication date: 25 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2575/25750020.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption ⋮ Non-disjunctive Numerical Domain for Array Predicate Abstraction
This page was built for publication:
