Ulrich Hanneman

• Concurrency verification