Dependable software engineering: theories, tools, and applications. Second international symposium, SETTA 2016, Beijing, China, November 9--11, 2016. Proceedings
scientific article; zbMATH DE number 6640870