Colin F. Snook, Rachel Harrison. Practitioners views on the use of formal methods: an industrial survey by structured interview. Information \& Software Technology, 43(4):275-283, 2001.
No references recorded for this publication.
No citations of this publication recorded.