Journal article

An empirical research agenda for understanding formal methods productivity

R Jeffery, M Staples, J Andronick, G Klein, T Murray

Information and Software Technology | Elsevier | Published : 2015

Citation metrics