Crónica de un dandy español en el 15 aniversario de su muerte. La publicación de El frío de una vida, en 2004, marcó un antes y un después en el dominio ...
This book constitutes the refereed proceedings of the 6th International Conference on Tools and Methods of Program Analysis, TMPA 2021, held in Tomsk, Russia, d...
This book constitutes the refereed proceedings of the 29th IFIP WG 6. 1 International Conference on Testing Software and Systems ICTSS 2017, held in St. Peters...
This book constitutes the refereed proceedings of the 33rd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2021, which was supposed ...
This book constitutes the refereed proceedings of the 14th International Conference on the Quality of Information and Communications Technology, QUATIC 2021, he...
This book provides an overview of software security analysis in a DevOps cycle including requirements formalisation, verification and continuous monitoring. I...