Jan F. Prins

Identifiers

Open LibraryOL5167900A

Books by Jan F. Prins

Total count: 2

Correctness proofs of APALI programs

Cornell Theory Center, Cornell University1986-01-01
Languages and Compilers for Parallel Computing11th International Workshop, LCPC'98, Chapel Hill, NC, USA, August 7-9, 1998, Proceedings

Springer London, Limited2003-01-01