Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings (Lecture Notes in Computer Science #14000)
5240156
|
Marsha Chechik
Joost-Pieter Katoen
Martin Leucker
|
9783031274817 |
2023 |
Contains images
|
|
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings (Lecture Notes in Computer Science #10951)
2118987
|
Klaus Havelund
Jan Peleska
Bill Roscoe
Erik De Vink
|
9783319955827 |
2018 |
Contains images
|
|
Formal Methods: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings (Lecture Notes in Computer Science #13768)
5125797
|
Lucas Lima
Vince Molnár
|
9783031224768 |
2022 |
Contains images
|
|
Formal Methods: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings (Lecture Notes in Computer Science #11254)
2336818
|
Tiago Massoni
Mohammad Reza Mousavi
|
9783030030445 |
2018 |
Contains images
|
|
Formal Methods: 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4–6, 2024, Proceedings (Lecture Notes in Computer Science #15403)
6309079
|
Sidney C. Nogueira
Ciprian Teodorov
|
9783031781162 |
2025 |
Contains images
|
|
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I (Lecture Notes in Computer Science #14933)
6212980
|
André Platzer
Kristin Yvonne Rozier
Matteo Pradella
Matteo Rossi
|
9783031711626 |
2025 |
Contains images
|
|
Formal Methods: Foundations and Applications
1532594
|
Leila Ribeiro
Thierry Lecomte
|
9783319498157 |
2016 |
Contains images
|
|
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II (Lecture Notes in Computer Science #14934)
6174410
|
Matteo Rossi
Kristin Yvonne Rozier
Andre Platzer
Matteo Pradella
|
9783031711770 |
2025 |
Contains images
|
|
Formal Methods: State of the Art and New Directions
1418382
|
Jawed Siddiqi
Paul Boca
Jonathan P. Bowen
|
9781848827363 |
2010 |
Contains images
|
|
Formal Methods – Fun for Everybody: First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers (Communications in Computer and Information Science #1301)
3956482
|
Antonio Cerone
Markus Roggenbach
|
9783030713744 |
2021 |
Contains images
|
|
Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings (Lecture Notes in Computer Science #11800)
3356697
|
Maurice H. ter Beek
Annabelle McIver
José N. Oliveira
|
9783030309428 |
2019 |
Contains images
|
|
Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings (Lecture Notes in Computer Science #11852)
2975328
|
Yamine Ait-Ameur
Shengchao Qin
|
9783030324094 |
2019 |
Contains images
|
|
Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings (Lecture Notes in Computer Science #14308)
5784126
|
Yi Li
Sofiène Tahar
|
9789819975846 |
2023 |
Contains images
|
|
Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings (Lecture Notes in Computer Science #12531)
3868201
|
Shang-Wei Lin
Zhe Hou
Brendan Mahoney
|
9783030634063 |
2020 |
Contains images
|
|
Formal Methods and Software Engineering
1534030
|
Shaoying Liu
Mark Lawford
Kazuhiro Ogata
|
9783319478463 |
2016 |
Contains images
|
|
Formal Methods and Software Engineering: 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings (Lecture Notes in Computer Science #15394)
6354408
|
Kazuhiro Ogata
Dominique Mery
Meng Sun
Shaoying Liu
|
9789819606177 |
2024 |
Contains images
|
|
Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings (Lecture Notes in Computer Science #11232)
2333354
|
Jing Sun
Meng Sun
|
9783030024505 |
2018 |
Contains images
|
|
Formal Methods and Software Engineering
1615198
|
Fatiha Zaïdi
Sylvain Conchon
Michael Butler
|
9783319254234 |
2015 |
Contains images
|
|
Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings (Lecture Notes in Computer Science #13478)
5159620
|
Min Zhang
Adrian Riesco
|
9783031172441 |
2022 |
Contains images
|
|
Formal Methods Applied to Complex Systems: Implementation of the B Method (Wiley-iste Ser.)
3294175
|
Jean-Louis Boulanger
|
9781119002925 |
2014 |
Contains images
|
|
Formal Methods Applied to Industrial Complex Systems: Implementation Of The B Method
3294344
|
Jean-Louis Boulanger
|
9781119004776 |
2014 |
Contains images
|
|
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II (Lecture Notes in Computer Science #12233)
3601569
|
Emil Sekerinski
Nelma Moreira
José N. Oliveira
Daniel Ratiu
Riccardo Guidotti
Marie Farrell
Matt Luckcuck
Diego Marmsoler
José Campos
Troy Astarte
Laure Gonnord
Antonio Cerone
Luis Couto
Brijesh Dongol
Martin Kutrib
Pedro Monteiro
David Delmas
|
9783030549978 |
2020 |
Contains images
|
|
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I (Lecture Notes in Computer Science #12232)
3604008
|
Emil Sekerinski
Nelma Moreira
José N. Oliveira
Daniel Ratiu
Riccardo Guidotti
Marie Farrell
Matt Luckcuck
Diego Marmsoler
José Campos
Troy Astarte
Laure Gonnord
Antonio Cerone
Luis Couto
Brijesh Dongol
Martin Kutrib
Pedro Monteiro
David Delmas
|
9783030549947 |
2020 |
Contains images
|
|
Formal Methods for an Informal World: ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures (Lecture Notes in Computer Science #13490)
5709662
|
Antonio Cerone
|
9783031436789 |
2023 |
Contains images
|
|
Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings (Lecture Notes in Computer Science #14290)
5934133
|
Alessandro Cimatti
Laura Titolo
|
9783031436819 |
2023 |
Contains images
|
|