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