Normal approach on correctness software
β
JosΓ©Luis Roca
π
Article
π
1987
π
Elsevier Science
π
English
β 91 KB