Author

Vaughan R. Pratt

2 books found

Cover of Partial order methods in verification

Partial order methods in verification

Vaughan R. Pratt, Gerard J. Holzmann · First published 1997

Cover of Shellsort and sorting networks

Shellsort and sorting networks

Vaughan R. Pratt · First published 1972