Bradbury, J. S. An empirical framework for comparing effectiveness of testing and property-based formal analysis. Software engineering notes..
Lua i Stíl Chicago (17ú heag.)Bradbury, Jeremy S. "An Empirical Framework for Comparing Effectiveness of Testing and Property-based Formal Analysis." Software Engineering Notes. .
Lua MLA (9ú heag.)Bradbury, Jeremy S. "An Empirical Framework for Comparing Effectiveness of Testing and Property-based Formal Analysis." Software Engineering Notes., .
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.