D. Ross Jeffery, Mark Staples, June Andronick, Gerwin Klein, Toby C. Murray. An empirical research agenda for understanding formal methods productivity. Information \& Software Technology, 60:102-112, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.