King, Steve; Hammond, Jonathan; Chapman,Rod and Andy Pryor "Is Proof More Cost Effective Than Testing?"

(1999)

(1999) IEEE Transactions on Software Engineering 26(8)  

Languages mentioned