Title: Dependable Software Engineering : Theories, Tools, and Applications
Subjects: Software engineering