Software Verification Based on Game Semantics and Process Algebra | Kaicus Deutschland