7. SOFL+MSVL 2017: Xi'an, China

Animation and Prototyping

Graph Theory

Model Checking

Modeling and Specification

Verification and Validation

maintained by Schloss Dagstuhl LZI, founded at University of Trier