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-0-387-96480-5

ISBN (Electronic): 978-1-4612-5983-1

Publication date (Print): 1981

DOI: 10.1007/978-1-4612-5983-1

SO-VID: f7098e75-2f61-425f-b733-43e40cf64d95

License:

http://www.springer.com/tdm

History

Data availability:

Comments

Comment on this book

Cited by 71

Dynamically discovering likely program invariants to support program evolution
Authors: J Cockrell, W.G. Griswold, D. Notkin …
A calculus of refinements for program derivations
Authors: R. J. R. Back
Handling obstacles in goal-oriented requirements engineering
Authors: A. van Lamsweerde, E. Letier

See all cited by

The Science of Programming

Read this book at