A formal model of the software test proc
β
Cangussu, J.W.; DeCarlo, R.A.; Mathur, A.P.
π
Article
π
2002
π
IEEE
π
English
β 675 KB