13th ICTAC 2016: Taipei, Taiwan

Invited Papers

Program Verification

Design, Synthesis and Testing

Calculi

Specifications

Composition and Transformation

Automata

Temporal Logics

Tool and Short Papers

a service of Schloss Dagstuhl - Leibniz Center for Informatics