by Kim Guldstrand Larsen (Editor), Ji Wang (Editor), Oleg Sokolsky (Editor)
This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October2017.The 19 full papers presented together with 3 invited talks were carefully reviewed and selected from 31 submissions.
Format: Paperback
Pages: 372
Edition: 1st ed. 2017
Publisher: Springer
Published: 17 Oct 2017
ISBN 10: 3319694820
ISBN 13: 9783319694825