FM 2015: Formal Methods
Springer International Publishing
Chapter title |
Resource Analysis: From Sequential to Concurrent and Distributed Programs
|
---|---|
Chapter number | 1 |
Book title |
FM 2015: Formal Methods
|
Published by |
Springer International Publishing, June 2015
|
DOI | 10.1007/978-3-319-19249-9_1 |
Book ISBNs |
978-3-31-919248-2, 978-3-31-919249-9
|
Authors |
Elvira Albert, Puri Arenas, Jesús Correas, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin, Germán Puebla, Guillermo Román-Díez, Albert, Elvira, Arenas, Puri, Correas, Jesús, Genaim, Samir, Gómez-Zamalloa, Miguel, Martin-Martin, Enrique, Puebla, Germán, Román-Díez, Guillermo |
Country | Count | As % |
---|---|---|
Unknown | 1 | 100% |
Type | Count | As % |
---|---|---|
Members of the public | 1 | 100% |
Country | Count | As % |
---|---|---|
Unknown | 3 | 100% |
Readers by professional status | Count | As % |
---|---|---|
Student > Master | 2 | 67% |
Student > Ph. D. Student | 1 | 33% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 2 | 67% |
Medicine and Dentistry | 1 | 33% |