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