Title of article :
Practitionersʹ views on the use of formal methods: an industrial survey by structured interview
Author/Authors :
C. Snook، نويسنده , , R. Harrison، نويسنده ,
Issue Information :
ماهنامه با شماره پیاپی سال 2001
Keywords :
formal methods , Empirical assessment , Survey , Structured interview
Journal title :
Information and Software Technology
Journal title :
Information and Software Technology
