Bradbury, J. S. An empirical framework for comparing effectiveness of testing and property-based formal analysis. Software engineering notes..
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Bradbury, Jeremy S. "An Empirical Framework for Comparing Effectiveness of Testing and Property-based Formal Analysis." Software Engineering Notes. .
Trích dẫn kiểu MLA (xuất bản lần thứ 9)Bradbury, Jeremy S. "An Empirical Framework for Comparing Effectiveness of Testing and Property-based Formal Analysis." Software Engineering Notes., .
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.