Mannes Poel

• Concurrency verification