Software Verification Based on Game Semantics and Process Algebra door Aleksandar Dimovski