zbMATH — the first resource for mathematics

Editorial. (English) Zbl 1372.00115
From the text: SETTA 2015 is the first edition of the annual Symposium on Dependable Software Engineering: Theories, Tools and Applications for researchers and practitioners interested in how to make formal methods fit for the new architectures of today and the systems that are now pervading the socio-economic world. The first conference was held in Nanjing, China, between November the 4th and the 6th, 2015.
00B25 Proceedings of conferences of miscellaneous specific interest
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Nxx Theory of software
Full Text: DOI