Dagstuhl Seminar Proceedings 10252
Game Semantics and Program Verification
P. Mellies, A. S. Murawski, A. Schalk, I. Walukiewicz (Eds.)
published by LZI
ISSN 1862 - 4405
Dagstuhl Seminar 10252, 20.06. - 25.06.2010
Additional Information
Seminar Homepage
License
Search Publication Server
Authors
Mellies, Paul-Andre
Murawski, Andrzej S.
Schalk, Andrea
Walukiewicz, Igor
10252 Abstracts Collection -- Game Semantics and Program Verification
Authors:
Mellies, Paul-Andre ; Murawski, Andrzej S. ; Schalk, Andrea ; Walukiewicz, Igor
Abstract
|
Document (167 KB)
|
BibTeX
10252 Executive Summary -- Game Semantics and Program Verification
Authors:
Mellies, Paul-Andre ; Murawski, Andrzej S. ; Schalk, Andrea ; Walukiewicz, Igor
Abstract
|
Document (130 KB)
|
BibTeX
DROPS-Home
|
Imprint
|
Privacy