FME'96: Industrial Benefit and Advances in Formal Methods
Springer Science & Business Media
Title |
FME'96: Industrial Benefit and Advances in Formal Methods
|
---|---|
Published by |
Springer Science & Business Media, March 1996
|
DOI | 10.1007/3-540-60973-3 |
ISBNs |
978-3-54-060973-5, 978-3-54-049749-3
|
Editors |
Gaudel, Marie-Claude, Woodcock, James |
Country | Count | As % |
---|---|---|
United Kingdom | 1 | 14% |
Australia | 1 | 14% |
United States | 1 | 14% |
Canada | 1 | 14% |
Unknown | 3 | 43% |
Type | Count | As % |
---|---|---|
Members of the public | 4 | 57% |
Scientists | 3 | 43% |
Country | Count | As % |
---|---|---|
United Kingdom | 1 | 8% |
Denmark | 1 | 8% |
Brazil | 1 | 8% |
Unknown | 10 | 77% |
Readers by professional status | Count | As % |
---|---|---|
Researcher | 4 | 31% |
Student > Ph. D. Student | 2 | 15% |
Student > Master | 2 | 15% |
Lecturer | 1 | 8% |
Student > Bachelor | 1 | 8% |
Other | 2 | 15% |
Unknown | 1 | 8% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 10 | 77% |
Business, Management and Accounting | 1 | 8% |
Engineering | 1 | 8% |
Unknown | 1 | 8% |