Integrated Formal Methods
Springer International Publishing
Chapter title |
Integrated Formal Methods
|
---|---|
Chapter number | 3 |
Book title |
Integrated Formal Methods
|
Published in |
Lecture notes in computer science, June 2016
|
DOI | 10.1007/978-3-319-33693-0_3 |
Book ISBNs |
978-3-31-933692-3, 978-3-31-933693-0
|
Authors |
Marsha Chechik, Michalis Famelis, Rick Salay, Daniel Strüber, Chechik, Marsha, Famelis, Michalis, Salay, Rick, Strüber, Daniel |
Country | Count | As % |
---|---|---|
Spain | 1 | 17% |
Unknown | 5 | 83% |
Type | Count | As % |
---|---|---|
Members of the public | 6 | 100% |
Country | Count | As % |
---|---|---|
Unknown | 11 | 100% |
Readers by professional status | Count | As % |
---|---|---|
Student > Ph. D. Student | 7 | 64% |
Lecturer | 1 | 9% |
Student > Master | 1 | 9% |
Researcher | 1 | 9% |
Professor > Associate Professor | 1 | 9% |
Other | 0 | 0% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 10 | 91% |
Social Sciences | 1 | 9% |