all books
The calculus of computation
decision procedures with applications to verification
Aaron R. Bradley
- computer logic
- verification
- computer programs
- computer software, testing
- logic programming
progress
0%