This book constitutes the proceedings of the 20th International Conference on Fundamental Approac...

This bookconstitutes the refereed proceedings of the 12th International Conference on IntegratedF...

This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, ...

This book is Open Access under a CC BY licence.This book, LNCS 11429, is part III of the proceedi...

This book constitutes the proceedings of the 27th International Conference on Formal Methods...

This book constitutes the refereed proceedings of the 43rd IFIP WG 6.1 International Conference o...

This textbook overviews the whole spectrum of formal methods and techniques that are aimed at ver...

?This book constitutes the proceedings of the 18th International Conference on Tests and Proofs, ...

This bookconstitutes the refereed proceedings of the 12th International Conference on Integrat...

This book constitutes the proceedings of the 20th International Conference on Fundamental Approac...

This book is Open Access under a CC BY licence.This book, LNCS 11429, is part III of th...

This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 202...