10. TASE 2016: Shanghai, China

Invited Talks

Formal Models

Software Testing

Formal Verification

Semantics of Programs

Formal Modeling

Program Analysis

maintained by Schloss Dagstuhl LZI at University of Trier