|
|
|
|
You can sort by any column. Just click on column's title. To sort in descending order - click once more.
| | Views | Cover | Author | Title | Published | Format | Updated | Thank_to |
| 2119013 | 17 |  | Antonio Cerone | Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6 10, 2021, ... Papers (Lecture Notes in Computer Science) | 2024 | pdf | 5/9/2024 7:23:15 AM | stirkout |
| 2100348 | 52 |  | Carla Ferreira | Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings (Lecture Notes in Computer Science) | 2024 | pdf | 1/26/2024 3:22:26 AM | topron |
| 2059732 | 37 |  | Paolo Masci | Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26 30, 2022, ... (Lecture Notes in Computer Science, 13765) | 2021 | pdf | 7/17/2023 11:21:25 AM | alex21s |
| 1941715 | 181 |  | Loek Cleophas | Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14 15, ... (Lecture Notes in Computer Science, 12524) | 2021 | epub | 9/20/2021 3:23:25 PM | maveriks |
| 1863326 | 47 |  | Antonio Cerone | Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, ... (Lecture Notes in Computer Science (10729)) | 2018 | pdf | 12/22/2020 1:15:43 PM | tvladb77 |
| 1813119 | 84 | | Frank de Boer, Antonio Cerone | Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 1418, 2020, Proceedings | 2020-12-08 | pdf | 9/12/2020 5:18:18 AM | maveriks |
| 1812321 | 210 | | Javier Camara, Martin Steffen | Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, ... Papers (Lecture Notes in Computer Science) | 2019 | pdf | 9/10/2020 9:18:36 AM | maveriks |
| 1604452 | 64 |  | Peter Csaba Olveczky, Gwen Salaun | Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings (Lecture Notes in Computer Science) | 2 Sept. 2019 | pdf | 9/9/2019 2:06:24 PM | gestalt |
| 1596966 | 73 |  | Dimitra Giannakopoulou, Gwen Salaun (eds.) | Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proce | 2018 | PDF | 8/29/2019 12:52:39 AM | Gustavi |
| 1543074 | 69 |  | Einar Broch Johnsen, Ina Schaefer | Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 2729, 2018, Proceedings | 2018-05-30 | pdf | 5/16/2019 12:30:52 PM | maveriks |
|
|
|
|
|