Proceedings of 5th International Conference in Software Engineering for Defence Applications SEDA 2016

Proceedings of 4th International Conference in Software Engineering for Defence Applications SEDA 2015

Software Engineering for Self-Adaptive Systems III. Assurances International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers

Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings

Human-Centered Software Engineering 7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 3–5, 2018, Revised Selected Papers

Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

Knowledge-Based Software Engineering 11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014. Proceedings

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings

Trends and Applications in Software Engineering Proceedings of the 6th International Conference on Software Process Improvement (CIMPS 2017)

Trends and Applications in Software Engineering Proceedings of the 4th International Conference on Software Process Improvement CIMPS'2015