10th TASE 2016: Shanghai, China

Invited Talks

Formal Models

Software Testing

Formal Verification

Semantics of Programs

Formal Modeling

Program Analysis

maintained by Schloss Dagstuhl LZI, founded at University of Trier