Is proof more cost-effective than testin
โ
King, S.; Hammond, J.; Chapman, R.; Pryor, A.
๐
Article
๐
2000
๐
IEEE
๐
English
โ 266 KB