👤

Vaughan R. Pratt

2 books

Books by Vaughan R. Pratt

Partial order methods in verification
Partial order methods in verification
1997
Shellsort and sorting networks
Shellsort and sorting networks
1979