This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal...

This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of ...

This book constitutes the refereed proceedings of the 8th International Conference on Engineering...

This book provides an overview of software security analysis in a DevOps cycle including requirem...

This book provides an overview of software security analysis in a DevOps cycle including requirem...