Computer logic, testing and verification
✍
D.J. Evans
📂
Article
📅
1981
🏛
Elsevier Science
🌐
English
⚖ 49 KB