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

Formal Methods and Software Engineering 

Supporting Reuse of Event-B Developments through Generic Instantiation

other

Author(s): Renato Silva , Michael Butler

Publication date (Print): 2009

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

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:

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 3,586

Cited by 4