An empirical research agenda for understanding formal methods productivity

Information and Software Technology, pp. 102-112, 2015.

Cited by: 15|Bibtex|Views73|DOI:https://doi.org/10.1016/j.infsof.2014.11.005
EI
Other Links: dblp.uni-trier.de|academic.microsoft.com|www.sciencedirect.com

Code:

Data:

Your rating :
0

 

Tags
Comments