This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. The 23 regular papers
This book constitutes the thoroughly refereed proceedings of the First International Symposium on Foundations of Health Informatics Engineering and Systems, FHIES 2011, held in Johannesburg, South Afr
This volume contains the lecture notes of the courses given at the School on Engineering Trustworthy Software Systems (SETSS 2014), held in the week 8{13 September 2014 at Southwest University in Chon
This volume contains a record of some of the lectures and seminars delivered at the Second International School on Engineering Trustworthy Software Systems (SETSS 2016), held in March/April