Computer logic, testing and verification
β
D.J. Evans
π
Article
π
1981
π
Elsevier Science
π
English
β 49 KB