Computer Aided Verification
Springer Berlin Heidelberg
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.
Timeline
Attention over time
Attention Score history
Activity
Mendeley demographics
Login to view Mendeley reader trends over time.
| Chapter title |
CVC3
|
|---|---|
| Chapter number | 34 |
| Book title |
Computer Aided Verification
|
| Published by |
Springer, Berlin, Heidelberg, July 2007
|
| DOI | 10.1007/978-3-540-73368-3_34 |
| Book ISBNs |
978-3-54-073367-6, 978-3-54-073368-3
|
| Authors |
Clark Barrett, Cesare Tinelli, Barrett, Clark, Tinelli, Cesare |
Login to access the Attention Digest and the Sentiment Analysis related to this output.
Mendeley demographics
The data shown below were compiled from readership statistics for 39 Mendeley readers of this research output. Click here to see the associated Mendeley record.
Geographical breakdown
| Country | Count | As % |
|---|---|---|
| Switzerland | 2 | 5% |
| Brazil | 2 | 5% |
| Korea, Republic of | 1 | 3% |
| Spain | 1 | 3% |
| Germany | 1 | 3% |
| Argentina | 1 | 3% |
| Unknown | 31 | 79% |
Demographic breakdown
| Readers by professional status | Count | As % |
|---|---|---|
| Student > Ph. D. Student | 13 | 33% |
| Student > Master | 6 | 15% |
| Researcher | 5 | 13% |
| Professor | 4 | 10% |
| Professor > Associate Professor | 4 | 10% |
| Other | 6 | 15% |
| Unknown | 1 | 3% |
| Readers by discipline | Count | As % |
|---|---|---|
| Computer Science | 32 | 82% |
| Engineering | 2 | 5% |
| Mathematics | 1 | 3% |
| Linguistics | 1 | 3% |
| Agricultural and Biological Sciences | 1 | 3% |
| Other | 0 | 0% |
| Unknown | 2 | 5% |