Formal Methods: State of the Art and New Directions
Springer London
Title |
Formal Methods: State of the Art and New Directions
|
---|---|
Published by |
ADS, January 2010
|
DOI | 10.1007/978-1-84882-736-3 |
ISBNs |
978-1-84882-735-6, 978-1-84882-736-3
|
Editors |
Boca, Paul, Bowen, Jonathan P., Siddiqi, Jawed |
Country | Count | As % |
---|---|---|
United Kingdom | 2 | 4% |
Germany | 1 | 2% |
Portugal | 1 | 2% |
Sweden | 1 | 2% |
Switzerland | 1 | 2% |
Unknown | 39 | 87% |
Readers by professional status | Count | As % |
---|---|---|
Student > Ph. D. Student | 15 | 33% |
Student > Master | 11 | 24% |
Professor > Associate Professor | 5 | 11% |
Researcher | 4 | 9% |
Student > Postgraduate | 2 | 4% |
Other | 4 | 9% |
Unknown | 4 | 9% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 28 | 62% |
Engineering | 5 | 11% |
Business, Management and Accounting | 3 | 7% |
Medicine and Dentistry | 2 | 4% |
Arts and Humanities | 1 | 2% |
Other | 1 | 2% |
Unknown | 5 | 11% |