↓ Skip to main content

Teaching Formal Methods

Overview of attention for book
Attention for Chapter 5: What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project
Altmetric Badge

Citations

dimensions_citation
6 Dimensions

Readers on

mendeley
3 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
What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project
Chapter number 5
Book title
Teaching Formal Methods
Published by
Springer, Berlin, Heidelberg, November 2009
DOI 10.1007/978-3-642-04912-5_5
Book ISBNs
978-3-64-204911-8, 978-3-64-204912-5
Authors

Fuyuki Ishikawa, Kenji Taguchi, Nobukazu Yoshioka, Shinichi Honiden

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Turkey 1 33%
Unknown 2 67%

Demographic breakdown

Readers by professional status Count As %
Unspecified 1 33%
Student > Ph. D. Student 1 33%
Unknown 1 33%
Readers by discipline Count As %
Unspecified 1 33%
Computer Science 1 33%
Unknown 1 33%