@article{Jeffery_SAKM_15,
    author           = {Jeffery, Ross and Staples, Mark and Andronick, June and Klein, Gerwin and Murray, Toby},
    journal          = {Information and Software Technology},
    keywords         = {empirical software engineering; productivity; gqm; formal methods; formal verification; proof
                        engineering},
    month            = jan,
    pages            = {102--112},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8312.pdf},
    title            = {An Empirical Research Agenda for Understanding Formal Methods Productivity},
    volume           = {60},
    year             = {2015}
  }