👤

Timothy R. Colburn

b. 1952 ยท 2 books

Books by Timothy R. Colburn

Philosophy and computer science
Philosophy and computer science
2000
Program verification
Program verification
1992