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
|
|
Formal Modeling and Analysis of Timed Systems: 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings (Lecture Notes in Computer Science #11022)
2240022
|
Pavithra Prabhakar
David N. Jansen
|
9783030001513 |
2018 |
Contains images
|
|
Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings (Lecture Notes in Computer Science #11750)
2888988
|
Mariëlle Stoelinga
Étienne André
|
9783030296629 |
2019 |
Contains images
|
|
Formal Modeling and Analysis of Timed Systems: 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings (Lecture Notes in Computer Science #12288)
3935016
|
Nathalie Bertrand
Nils Jansen
|
9783030576288 |
2020 |
Contains images
|
|
Formal Modeling and Analysis of Timed Systems: 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings (Lecture Notes in Computer Science #12860)
4236866
|
Catalin Dima
Mahsa Shirmohammadi
|
9783030850371 |
2021 |
Contains images
|
|
Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings (Lecture Notes in Computer Science #13465)
4843495
|
David Parker
Sergiy Bogomolov
|
9783031158391 |
2022 |
Contains images
|
|
Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings (Lecture Notes in Computer Science #14138)
5615590
|
Laure Petrucci
Jeremy Sproston
|
9783031426261 |
2023 |
Contains images
|
|
Formal Ontologies Meet Industry
1366886
|
Robert Young
Roberta Cuel
|
9783319215457 |
2015 |
Contains images
|
|
Formal SQL Tuning for Oracle Databases
1535169
|
Leonid Nossov
Hanno Ernst
Victor Chupis
|
9783662504178 |
2016 |
Contains images
|
|
Formal Specification Level
1379732
|
Rolf Drechsler
Mathias Soeken
|
9783319086996 |
2015 |
Contains images
|
|
Formal System Verification
1650910
|
Rolf Drechsler
|
9783319576855 |
2015 |
Contains images
|
|
Formal Techniques for Distributed Objects, Components, and Systems
1403349
|
Elvira Albert
Ivan Lanese
|
9783319395708 |
2016 |
Contains images
|
|
Formal Techniques for Distributed Objects, Components, and Systems: 38th Ifip Wg 6. 1 International Conference, Forte 2018, Held As Part Of The 13th International Federated Conference On Distributed Computing Techniques, Discotec 2018, Madrid, Spain, June 18-21, 2018, Proceedings (Theoretical Computer Science and General Issues #10854)
2333849
|
Christel Baier
Luís Caires
|
9783319926124 |
2018 |
Contains images
|
|