This book constitutes the proceedings of the 16th International Workshop on Formal Methods for In...
This book constitutes the refereed proceedings of the 17th International Conference on Software E...
The 65 full papers presented were carefully reviewed and selected from 120 submissions.
This book constitutes the revised selected papers of the 9th International Symposium on Formal As...
This book constitutes the refereed proceedings of the 12th International Conference on Software E...
This book constitutes the thoroughly revised selected papers from the 17th International Symposiu...
This book constitutes the revised selected papers of the 9th International Symposium on Formal As...
This book constitutes the refereed proceedings of the 12th International Conference on Software E...
This book contains the thoroughly refereed technical papers presented in eight workshops collo...
This book constitutes the thoroughly revised selected papers from the 17th International Symposiu...
This book constitutes the refereed proceedings of the 17th International Conference on Software E...