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-642-05880-6

ISBN (Electronic): 978-3-662-07964-5

Publication date (Print): 2004

DOI: 10.1007/978-3-662-07964-5

SO-VID: c8f3efa7-fc16-4459-b350-d55bfb83a840

License:

http://www.springer.com/tdm

History

Data availability:

Comments

Comment on this book

Cited by 113

Rodin: an open toolset for modelling and reasoning in Event-B
Authors: Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede …
Herding Cats
Authors: Michael Tautschnig, Luc Maranget, Jade Alglave
Premise Selection for Mathematics by Corpus Analysis and Kernel Methods
Authors: Jesse Alama, Tom Heskes, Daniel Kühlwein …

See all cited by

Interactive Theorem Proving and Program Development

Read this book at