Cristina SeceleanuBooksCritical SystemsTests and ProofsCyberSecurity in a DevOps EnvironmentEngineering of Computer-Based SystemsAuthor data: Open Library