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.
X Demographics
Mendeley readers
Chapter title |
The COST IC0701 Verification Competition 2011
|
---|---|
Chapter number | 2 |
Book title |
Formal Verification of Object-Oriented Software
|
Published by |
Springer, Berlin, Heidelberg, October 2011
|
DOI | 10.1007/978-3-642-31762-0_2 |
Book ISBNs |
978-3-64-231761-3, 978-3-64-231762-0
|
Authors |
Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliâtre, Radu Grigore, Marieke Huisman, Vladimir Klebanov, Claude Marché, Rosemary Monahan, Wojciech Mostowski, Nadia Polikarpova, Christoph Scheben, Gerhard Schellhorn, Bogdan Tofan, Julian Tschannen, Mattias Ulbrich, Bormer, Thorsten, Brockschmidt, Marc, Distefano, Dino, Ernst, Gidon, Filliâtre, Jean-Christophe, Grigore, Radu, Huisman, Marieke, Klebanov, Vladimir, Marché, Claude, Monahan, Rosemary, Mostowski, Wojciech, Polikarpova, Nadia, Scheben, Christoph, Schellhorn, Gerhard, Tofan, Bogdan, Tschannen, Julian, Ulbrich, Mattias |
X Demographics
The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
Geographical breakdown
Country | Count | As % |
---|---|---|
Ireland | 1 | 100% |
Demographic breakdown
Type | Count | As % |
---|---|---|
Members of the public | 1 | 100% |
Mendeley readers
The data shown below were compiled from readership statistics for 7 Mendeley readers of this research output. Click here to see the associated Mendeley record.
Geographical breakdown
Country | Count | As % |
---|---|---|
Unknown | 7 | 100% |
Demographic breakdown
Readers by professional status | Count | As % |
---|---|---|
Student > Ph. D. Student | 2 | 29% |
Student > Master | 2 | 29% |
Student > Doctoral Student | 1 | 14% |
Unknown | 2 | 29% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 4 | 57% |
Engineering | 1 | 14% |
Unknown | 2 | 29% |