Bradbury, J. S. An empirical framework for comparing effectiveness of testing and property-based formal analysis. Software engineering notes..
Dyfyniad Arddull ChicagoBradbury, Jeremy S. "An Empirical Framework for Comparing Effectiveness of Testing and Property-based Formal Analysis." Software Engineering Notes. .
Dyfyniad MLABradbury, Jeremy S. "An Empirical Framework for Comparing Effectiveness of Testing and Property-based Formal Analysis." Software Engineering Notes., .
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.