↓ Skip to main content

Handbook of Software Engineering

Overview of attention for book
Attention for Chapter 5: Formal Methods
Altmetric Badge

Readers on

mendeley
232 Mendeley
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
Formal Methods
Chapter number 5
Book title
Handbook of Software Engineering
Published by
Springer, Cham, January 2019
DOI 10.1007/978-3-030-00262-6_5
Book ISBNs
978-3-03-000261-9, 978-3-03-000262-6
Authors

Doron A. Peled

Mendeley readers

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

Geographical breakdown

Country Count As %
United States 3 1%
Canada 3 1%
Brazil 2 <1%
France 2 <1%
Norway 2 <1%
Australia 2 <1%
Japan 2 <1%
Germany 2 <1%
Denmark 1 <1%
Other 4 2%
Unknown 209 90%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 61 26%
Student > Master 46 20%
Researcher 33 14%
Student > Bachelor 24 10%
Student > Doctoral Student 11 5%
Other 36 16%
Unknown 21 9%
Readers by discipline Count As %
Computer Science 137 59%
Engineering 49 21%
Mathematics 4 2%
Business, Management and Accounting 2 <1%
Social Sciences 2 <1%
Other 14 6%
Unknown 24 10%