An empirical research agenda for understanding formal methods productivityMarkD. Ross Jeffery[0]Mark Staples[0]June Andronick[0]Gerwin Klein[0]Toby C. Murray[0]Information and Software Technology, pp. 102-112, 2015.Cited by: 15|Bibtex|Views73|DOI:https://doi.org/10.1016/j.infsof.2014.11.005EI Other Links: dblp.uni-trier.de|academic.microsoft.com|www.sciencedirect.comKeywords: Empirical software engineeringProductivityGQMFormal methodsFormal verificationMore(1+)Code: Data: Full Text (Upload PDF)PPT (Upload PPT)SimilarReferenceCitedUpload PPTYour rating :0 TagsCommentsSubmit
