Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
5096973
|
Antonio Cerone
Siraj Ahmed Shaikh
Markus Roggenbach
Gerardo Schneider
Bernd-Holger Schlingloff
|
9783030388003 |
2022 |
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 the Analysis of Biomedical Ontologies (Synthesis Lectures on Data, Semantics, and Knowledge)
5054992
|
Guo-Qiang Zhang
Rashmie Abeysinghe
Licong Cui
|
9783031121319 |
2022 |
Contains images
|
|
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
1403347
|
Marco Bernardo
Rocco De Nicola
Jane Hillston
|
9783319340968 |
2016 |
Contains images
|
|
Formal Methods in Architecture: Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020 (Advances in Science, Technology & Innovation)
4519799
|
Sara Eloy
David Leite Viana
Franklim Morais
Jorge Vieira Vaz
|
9783030575090 |
2021 |
Contains images
|
|
Formal Methods in Architecture: Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022 (Digital Innovations in Architecture, Engineering and Construction)
5501365
|
David Leite Viana
Franklim Morais
Jorge Vieira Vaz
Plácido Lizancos Mora
|
9789819922178 |
2023 |
Contains images
|
|
Formal Methods in Computer Science (Textbooks In Mathematics Ser.)
5628648
|
Jiacun Wang
|
9781498775359 |
2020 |
Contains images
|
|
Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday (Lecture Notes in Computer Science #13065)
4295303
|
Ezio Bartocci
Martin Leucker
Yliès Falcone
|
9783030873486 |
2021 |
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. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I (Lecture Notes in Computer Science #12232)
3604008
|
Antonio Cerone
Riccardo Guidotti
Martin Kutrib
Emil Sekerinski
José N. Oliveira
Brijesh Dongol
Nelma Moreira
Daniel Ratiu
Marie Farrell
Matt Luckcuck
Diego Marmsoler
José Campos
Troy Astarte
Laure Gonnord
Luis Couto
Pedro Monteiro
David Delmas
|
9783030549947 |
2020 |
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
|
Antonio Cerone
Riccardo Guidotti
Martin Kutrib
Emil Sekerinski
José N. Oliveira
Brijesh Dongol
Nelma Moreira
Daniel Ratiu
Marie Farrell
Matt Luckcuck
Diego Marmsoler
José Campos
Troy Astarte
Laure Gonnord
Luis Couto
Pedro Monteiro
David Delmas
|
9783030549978 |
2020 |
Contains images
|
|
Formal Methods: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings (Lecture Notes in Computer Science #11254)
2336818
|
Mohammad Reza Mousavi
Tiago Massoni
|
9783030030445 |
2018 |
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
|
Bill Roscoe
Klaus Havelund
Jan Peleska
Erik De Vink
|
9783319955827 |
2018 |
Contains images
|
|
Formal Methods: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings (Lecture Notes in Computer Science #12475)
3748001
|
Volker Stolz
Gustavo Carvalho
|
9783030638825 |
2020 |
Contains images
|
|
Formal Methods: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings (Lecture Notes in Computer Science #13130)
4345550
|
Sérgio Campos
Marius Minea
|
9783030921378 |
2021 |
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: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings (Lecture Notes in Computer Science #14000)
5240156
|
Martin Leucker
Marsha Chechik
Joost-Pieter Katoen
|
9783031274817 |
2023 |
Contains images
|
|
Formal Methods: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings (Lecture Notes in Computer Science #14414)
5795023
|
Haniel Barbosa
Yoni Zohar
|
9783031493423 |
2024 |
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
|
Matteo Rossi
André Platzer
Kristin Yvonne Rozier
Matteo Pradella
|
9783031711626 |
2025 |
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: 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: Foundations and Applications
1532594
|
Thierry Lecomte
Leila Ribeiro
|
9783319498157 |
2016 |
Contains images
|
|
Formal Methods: State of the Art and New Directions
1418382
|
Jawed Siddiqi
Paul Boca
Jonathan P. Bowen
|
9781848827363 |
2010 |
Contains images
|
|
Formal Modeling and Analysis of Timed Systems
1403350
|
Martin Fränzle
Nicolas Markey
|
9783319448787 |
2016 |
Contains images
|
|