Dependable software engineering : theories, tools, and applications : 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings / Nan Guan, Joost-Pieter Katoen, Jun Sun (eds.)

This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019. The 8 full papers presented were carefully reviewed and selected from 26 submissions. They present cu...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Corporate Author:	SETTA (Symposium) Shanghai, China)
Other Authors:	Guan, Nan (Editor), Katoen, Joost-Pieter (Editor), Sun, Jun (Editor)
Other title:	SETTA 2019.
Format:	Conference Proceeding eBook
Language:	English
Published:	Cham, Switzerland : Springer, 2019.
Series:	Lecture notes in computer science ; 11951. LNCS sublibrary. Programming and software engineering.
Subjects:	Software engineering > Congresses. Software engineering. Conference papers and proceedings.