↓ Skip to main content

Logics of Specification Languages

Overview of attention for book
Attention for Chapter 3: The event-B Modelling Method: Concepts and Case Studies
Altmetric Badge

Mentioned by

facebook
1 Facebook page

Citations

dimensions_citation
18 Dimensions

Readers on

mendeley
8 Mendeley
citeulike
6 CiteULike
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
The event-B Modelling Method: Concepts and Case Studies
Chapter number 3
Book title
Logics of Specification Languages
Published in
Logics of Specification Languages, January 2008
DOI 10.1007/978-3-540-74107-7_3
Book ISBNs
978-3-54-074106-0, 978-3-54-074107-7
Authors

Dominique Cansell, Dominique Méry, Cansell, Dominique, Méry, Dominique

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 8 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
United Kingdom 1 13%
France 1 13%
Brazil 1 13%
Unknown 5 63%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 4 50%
Professor 1 13%
Lecturer 1 13%
Student > Master 1 13%
Researcher 1 13%
Other 0 0%
Readers by discipline Count As %
Computer Science 6 75%
Engineering 2 25%