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

Most cited references 11

Record: found
Abstract: not found
Book: not found

The B-Book

J. Abrial, A Hoare, Pierre Chapron (2010)

0 comments Cited 176 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book: not found

Isabelle

Lawrence Paulson (1994)

0 comments Cited 66 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

An Open Extensible Tool Environment for Event-B

Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede … (2006)

0 comments Cited 13 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2009

Pages: 466-484

DOI: 10.1007/978-3-642-10373-5_24

SO-VID: c824325f-1d1c-4699-b548-17a37151e4f2

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 4

See all cited by

Supporting Reuse of Event-B Developments through Generic Instantiation

Read this book at

Related collections

Special series: Supporting Small and Medium-sized Enterprises in the Educational Technology Sector to Become More Research-minded

Most cited references 11

The B-Book

Isabelle

An Open Extensible Tool Environment for Event-B

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 4,645

Cited by 4