There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book

ISBN (Print): 978-3-540-24297-0

ISBN (Electronic): 978-3-540-30579-8

Publication date (Print): 2005

DOI: 10.1007/b105073

SO-VID: 01dba523-dadb-4d12-96e0-3bf75203e2ff

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 8

Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs
Authors: Christophe Alias, Alain Darte, Paul Feautrier …
Linear-Invariant Generation for Probabilistic Programs:
Authors: Joost-Pieter Katoen, Annabelle K. McIver, Larissa A. Meinicke …
Invariant Synthesis for Combined Theories
Authors: Dirk Beyer, Thomas Henzinger, Rupak Majumdar …

See all cited by

Verification, Model Checking, and Abstract Interpretation

Read this book at