Title: Concise Guide to Software Testing, Author: Gerard O'Regan
Title: Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings, Author: Sebastian Gabmeyer
Title: Refinement: Semantics, Languages and Applications, Author: John Derrick
Title: Software Technologies: Applications and Foundations: STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers, Author: Manuel Mazzara
Title: Applied Computer Sciences in Engineering: 4th Workshop on Engineering Applications, WEA 2017, Cartagena, Colombia, September 27-29, 2017, Proceedings, Author: Juan Carlos Figueroa-García
Title: Risks and Security of Internet and Systems: 14th International Conference, CRiSIS 2019, Hammamet, Tunisia, October 29-31, 2019, Proceedings, Author: Slim Kallel
Title: Coordination Models and Languages: 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proc, Author: Alberto Lluch Lafuente
Title: Product-Focused Software Process Improvement: 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28-30, 2018, Proceedings, Author: Marco Kuhrmann
Title: Guide to Software Systems Development: Connecting Novel Theory and Current Practice, Author: Clive Rosen
Title: Service-Oriented Computing - ICSOC 2016 Workshops: ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised Selected Papers, Author: Khalil Drira
Title: Computer Science - CACIC 2018: 24th Argentine Congress, Tandil, Argentina, October 8-12, 2018, Revised Selected Papers, Author: Patricia Pesado
Title: Structured Object-Oriented Formal Language and Method: 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers, Author: Huaikou Miao
Title: Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment: First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers, Author: Jean-Michel Bruel
Title: Structured Object-Oriented Formal Language and Method: 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers, Author: Zhenhua Duan
Title: Fundamentals of Software Engineering: 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers, Author: Mehdi Dastani
Title: Parallel Processing and Applied Mathematics: 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part I, Author: Roman Wyrzykowski
Title: Human-Centered and Error-Resilient Systems Development: IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Develop, Author: Cristian Bogdan
Title: Formal Aspects of Component Software: 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings, Author: Kyungmin Bae
Title: Hardware and Software: Verification and Testing: 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings, Author: Roderick Bloem
Title: Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures, Author: Zhiming Liu

Pagination Links