The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
An empirical research agenda for understanding formal methods productivity
The work
| Authors | Ross Jeffery; Mark Staples; June Andronick; Gerwin Klein; Toby Murray |
|---|---|
| Editors | |
| Type | article |
| Year | 2014 |
| Citekey | jeffery2014empirical |
Where it appeared
| Published in | Information and Software Technology |
|---|---|
| Publisher | Elsevier BV |
| Volume | 60 |
| Pages | 102--112 |
Identifiers
| DOI | 10.1016/j.infsof.2014.11.005 |
|---|---|
| OpenAlex | W2146679277 |
Access
| Landing page | https://doi.org/10.1016/j.infsof.2014.11.005 |
|---|
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-24 18:49 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Filed under
Cite it as
@article{jeffery2014empirical,
title = {An empirical research agenda for understanding formal methods productivity},
author = {Ross Jeffery and Mark Staples and June Andronick and Gerwin Klein and Toby Murray},
year = {2014},
journal = {Information and Software Technology},
publisher = {Elsevier BV},
volume = {60},
pages = {102--112},
doi = {10.1016/j.infsof.2014.11.005},
}
This record lives at https://refs.drheap.org/jeffery2014empirical/ and will keep doing so.