Job Zwiers · 2 obras en el catálogoObrasConcurrency verificationCompositionality, Concurrency, and Partial Correctness