Game Semantics and Program Verification

Keyphrases

Publications

2010

Paul-André Melliès, Andrzej S. Murawski, Andrea Schalk, Igor Walukiewicz
10252 Executive Summary - Game Semantics and Program Verification. Game Semantics and Program Verification (2010)
Paul-André Melliès, Andrzej S. Murawski, Andrea Schalk, Igor Walukiewicz
10252 Abstracts Collection - Game Semantics and Program Verification. Game Semantics and Program Verification (2010)

volume 10252, 2010

Game Semantics and Program Verification, 20.06. - 25.06.2010 Game Semantics and Program Verification 10252 (2010)