Job Zwiers

No bio available. Add one in Open Library.

Books by Job Zwiers (50 max)

+ shelf+ list

Concurrency verification: introduction to compositional and noncompositional methods

2001

W.-P. de Roever, Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers

+ shelf+ list

Compositionality, Concurrency, and Partial Correctness

2007

Job Zwiers