As software systems become increasingly ubiquitous, issues of dependability become ever more cruc...

This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International ...

This book constitutes the refereed proceedings of the Joint 21st International Workshop on F...

This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, ...

This volume was published in honor of Stefania Gnesi's 65th birthday. The Festschrift volume cont...

This book constitutes the proceedings of the 25th International Workshop on Formal Methods for In...

This book constitutes the refereed proceedings of the 17th International Conference on Integrated...

This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference o...

As software systems become increasingly ubiquitous, issues of dependability become ever more c...

This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International ...

This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal...

This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 201...