Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings (Lecture Notes in Computer Science #7041)
4678818
|
Gilles Barthe
Alberto Pardo
Gerardo Schneider
|
9783642246906 |
2011 |
|
|
Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers (Lecture Notes in Computer Science #9509)
2888012
|
Domenico Bianculli
Radu Calinescu
Bernhard Rumpe
|
9783662492246 |
2015 |
Contains images
|
|
Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings (Lecture Notes in Computer Science #12310)
3635124
|
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)
4379458
|
Radu Calinescu
Corina S. Păsăreanu
|
9783030921248 |
2021 |
Contains images
|
|
Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings (Lecture Notes in Computer Science #9276)
2833027
|
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)
3633156
|
Javier Camara
Martin Steffen
|
9783030575069 |
2020 |
Contains images
|
|
Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers (Lecture Notes in Computer Science #8938)
2826204
|
Carlos Canal
Akram Idani
|
9783319152011 |
2015 |
Contains images
|
|
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 (Lecture Notes in Computer Science #10729)
2258512
|
Antonio Cerone
Marco Roveri
|
9783319747811 |
2018 |
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)
2251052
|
Alessandro Cimatti
Marjan Sirjani
|
9783319661971 |
2017 |
Contains images
|
|
Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers (Lecture Notes in Computer Science #8368)
2801817
|
Steve Counsell
Manuel Núñez
|
9783319050324 |
2014 |
Contains images
|
|
Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings (Lecture Notes in Computer Science #7504)
4800534
|
George Eleftherakis
Mike Hinchey
Mike Holcombe
|
9783642338267 |
2012 |
|
|
Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings (Lecture Notes in Computer Science #14323)
5730307
|
Carla Ferreira
Tim A. C. Willemse
|
9783031471155 |
2023 |
Contains images
|
|
Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings (Lecture Notes in Computer Science #8702)
2813890
|
Dimitra Giannakopoulou
Gwen Salaün
|
9783319104317 |
2014 |
|
|
Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings (Lecture Notes in Computer Science #8137)
4705978
|
Robert M. Hierons
Mercedes G. Merayo
Mario Bravetti
|
9783642405617 |
2013 |
|
|
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)
2265259
|
Einar Broch Johnsen
Ina Schaefer
|
9783319929705 |
2018 |
Contains images
|
|
Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings (Lecture Notes in Computer Science #9763)
2848227
|
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)
4779409
|
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)
5934252
|
Bernd-Holger Schlingloff
Ming Chai
|
9783031171086 |
2022 |
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)
3878144
|
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)
4965316
|
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)
5179809
|
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)
6159002
|
Alessandro Aldini
|
9783031660214 |
2024 |
Contains images
|
|
Software Engineering and Knowledge Engineering: Volume 2 (Advances in Intelligent and Soft Computing #115)
4671115
|
Yanwen Wu
|
9783642253492 |
2012 |
|
|
Software Engineering and Knowledge Engineering: Volume 1 (Advances in Intelligent and Soft Computing #114)
4794077
|
Yanwen Wu
|
9783642037184 |
2012 |
|
|
Software Engineering and Knowledge Engineering: Selected papers from 2012 International Conference on Software Engineering, Knowledge Engineering and Information Engineering (SEKEIE 2012) (Advances in Intelligent and Soft Computing #162)
4827805
|
Wei Zhang
|
9783642294556 |
2012 |
|
|