↓ Skip to main content

Formal Methods: State of the Art and New Directions

Overview of attention for book
Attention for Chapter 8: Programming Language Description Languages
Altmetric Badge

Citations

dimensions_citation
29 Dimensions

Readers on

mendeley
5 Mendeley
citeulike
2 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
Programming Language Description Languages
Chapter number 8
Book title
Formal Methods: State of the Art and New Directions
Published in
ADS, January 2010
DOI 10.1007/978-1-84882-736-3_8
Book ISBNs
978-1-84882-735-6, 978-1-84882-736-3
Authors

Peter D. Mosses, Mosses, Peter D.

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
United Kingdom 1 20%
Unknown 4 80%

Demographic breakdown

Readers by professional status Count As %
Student > Doctoral Student 1 20%
Professor 1 20%
Student > Ph. D. Student 1 20%
Researcher 1 20%
Professor > Associate Professor 1 20%
Other 0 0%
Readers by discipline Count As %
Computer Science 5 100%