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