Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings (Lecture Notes in Computer Science #12310)
3637419
|
Frank De Boer
Antonio Cerone
|
9783030587680 |
2020 |
Contains images
|
|
Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings (Lecture Notes in Computer Science #13085)
4379665
|
Radu Calinescu
Corina S. Păsăreanu
|
9783030921248 |
2021 |
Contains images
|
|
Software Engineering and Formal Methods
1404869
|
Radu Calinescu
Bernhard Rumpe
|
9783319229690 |
2015 |
Contains images
|
|
Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers (Lecture Notes in Computer Science #12226)
3633269
|
Javier Camara
Martin Steffen
|
9783030575069 |
2020 |
Contains images
|
|
Software Engineering and Formal Methods
1417685
|
Carlos Canal
Akram Idani
|
9783319152011 |
2015 |
Contains images
|
|
Software Engineering and Formal Methods
1904677
|
Antonio Cerone
Marco Roveri
|
9783319747811 |
2010 |
Contains images
|
|
Software Engineering and Formal Methods
1415891
|
Steve Counsell
Manuel Núñez
|
9783319050324 |
2014 |
Contains images
|
|
Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings (Lecture Notes in Computer Science #14323)
5730285
|
Carla Ferreira
Tim A. C. Willemse
|
9783031471155 |
2023 |
Contains images
|
|
Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings (Lecture Notes in Computer Science #10886)
2118186
|
Einar Broch Johnsen
Ina Schaefer
|
9783319929705 |
2018 |
Contains images
|
|
Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings (Lecture Notes in Computer Science #15280)
6351888
|
Alexandre Madeira
Alexander Knapp
|
9783031773822 |
2025 |
Contains images
|
|
Software Engineering and Formal Methods
1410977
|
Rocco De Nicola
Eva Kühn
|
9783319415918 |
2016 |
Contains images
|
|
Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings (Lecture Notes in Computer Science #11724)
2957504
|
Peter Csaba Ölveczky
Gwen Salaün
|
9783030304461 |
2019 |
Contains images
|
|
Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings (Lecture Notes in Computer Science #13550)
5934140
|
Bernd-Holger Schlingloff
Ming Chai
|
9783031171086 |
2022 |
Contains images
|
|
Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings (Lecture Notes in Computer Science #10469)
2115887
|
Marjan Sirjani
Alessandro Cimatti
|
9783319661971 |
2017 |
Contains images
|
|
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers (Lecture Notes in Computer Science #12524)
3779374
|
Loek Cleophas
Mieke Massink
|
9783030672201 |
2021 |
Contains images
|
|
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers (Lecture Notes in Computer Science #13230)
4965632
|
Antonio Cerone
Marco Autili
Alessio Bucaioni
Cláudio Gomes
Pierluigi Graziani
Maurizio Palmieri
Marco Temperini
Gentiane Venture
|
9783031124297 |
2022 |
Contains images
|
|
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26–30, 2022, Revised Selected Papers (Lecture Notes in Computer Science #13765)
5179842
|
Paolo Masci
Cinzia Bernardeschi
Pierluigi Graziani
Mario Koddenbrock
Maurizio Palmieri
|
9783031262364 |
2023 |
Contains images
|
|
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6–10, 2023, Revised Selected Papers (Lecture Notes in Computer Science #14568)
6159732
|
Alessandro Aldini
|
9783031660214 |
2024 |
Contains images
|
|
Software Engineering and Management: Volume 16 (Studies in Computational Intelligence #1137)
6048652
|
Roger Lee
|
9783031551741 |
2024 |
Contains images
|
|
Software Engineering and Methodology for Emerging Domains: 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers (Communications in Computer and Information Science #861)
2837722
|
Zheng Li
He Jiang
Ge Li
Minghui Zhou
Ming Li
|
9789811503108 |
2019 |
Contains images
|
|
Software Engineering and Methodology for Emerging Domains
1537655
|
Lu Zhang
Chang Xu
|
9789811034824 |
2016 |
Contains images
|
|
Software Engineering Application in Informatics: Proceedings of 5th Computational Methods in Systems and Software 2021, Vol. 1 (Lecture Notes in Networks and Systems #232)
4363405
|
Radek Silhavy
Petr Silhavy
Zdenka Prokopova
|
9783030903183 |
2021 |
Contains images
|
|
Software Engineering Application in Systems Design: Proceedings of 6th Computational Methods in Systems and Software 2022, Volume 1 (Lecture Notes in Networks and Systems #596)
5151703
|
Radek Silhavy
Petr Silhavy
Zdenka Prokopova
|
9783031214356 |
2023 |
Contains images
|
|
Software Engineering Approaches to Enable Digital Transformation Technologies
5719506
|
Sanjay Misra
Amit Jain
Manju Kaushik
Chitresh Banerjee
|
9781000987089 |
2024 |
Contains images
|
|
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
1395171
|
Roger Lee
|
9783319338101 |
2016 |
Contains images
|
|