This book constitutes the refereed proceedings of the 4th International Symposium on Model-Based ...

This book contains all refereed papers that were accepted to the third edition of the ' Complex S...

This volume constitutes the proceedings of the thirdInternational Workshop on Static Analysis (WS...

This book contains all refereed papers that were accepted to the third edition of the « Complex S...