-
Schooling for Sustainable Development in Europe – Concepts, Policies and Educational Experiences at the End of the UN Decade of Education for Sustainable Development
2015 Springer International Publishing
-
Functional and Logic Programming – 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
2014 Springer International Publishing
-
Formal Methods for Industrial Critical Systems – 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings
Haxthausen, Anne Elisabeth ; Serwe, Wendelin 2024 Springer Nature Switzerland, Imprint: Springer
-
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops – CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6–10, 2023, Revised Selected Papers
Aldini, Alessandro 2024 Springer Nature Switzerland, Imprint: Springer
-
Coalgebraic Methods in Computer Science – 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings
König, Barbara ; Urbat, Henning 2024 Springer Nature Switzerland, Imprint: Springer
-
NASA Formal Methods – 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings
Benz, Nathaniel ; Gopinath, Divya ; Shi, Nija 2024 Springer Nature Switzerland, Imprint: Springer
-
Formal Methods: Foundations and Applications – 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings
2024 Springer Nature Switzerland
-
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering – 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II
2022 Springer Berlin Heidelberg
-
Formal Methods for Industrial Critical Systems – 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings
2020 Springer International Publishing
-
Service Oriented and Cloud Computing – 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015, Proceedings
Dustdar, Schahram ; Leymann, Frank ; Villari, Massimo 2015 Springer International Publishing
-
Runtime Verification – 6th International Conference, RV 2015 Vienna, Austria, September 22–25, 2015. Proceedings
2015 Springer International Publishing
-
Operational Semantics and Verification of Security Protocols
Cremers, Cas ; Mauw, Sjouke 2012 Springer Berlin
-
Formal Methods and Software Engineering – 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings
2022 Springer Nature Switzerland
-
Software Verification and Formal Methods for ML-Enabled Autonomous Systems – 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings
2022 Springer International Publishing
-
Formal Methods: Foundations and Applications – 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings
2022 Springer International Publishing
-
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles – 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I
2022 Springer Berlin Heidelberg
-
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning – 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III
2022 Springer Berlin Heidelberg
-
Leveraging Applications of Formal Methods, Verification and Validation. Practice – 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV
2022 Springer Berlin Heidelberg
-
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops – CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers
2022 Springer International Publishing
-
Software Engineering and Formal Methods – 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings
2022 Springer Nature Switzerland