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...