Dagstuhl Seminar Proceedings 10252

Game Semantics and Program Verification

P. Mellies, A. S. Murawski, A. Schalk, I. Walukiewicz (Eds.)

published by LZI
Host

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 | Fulltext Search | Imprint
    Published by LZI