Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings (Lecture Notes in Computer Science #14000)
5239865
|
Marsha Chechik
Joost-Pieter Katoen
Martin Leucker
|
9783031274817 |
2023 |
Contains images
|
|
Formal Methods: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings (Lecture Notes in Computer Science #9526)
2839195
|
Márcio Cornélio
Bill Roscoe
|
9783319294735 |
2016 |
Contains images
|
|
Formal Methods: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers (Lecture Notes in Computer Science #6527)
4604038
|
Jim Davies
Leila Silva
Adenilso Simao
|
9783642198298 |
2011 |
|
|
Formal Methods: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings (Lecture Notes in Computer Science #7498)
4771391
|
Rohit Gheyi
David Naumann
|
9783642332968 |
2012 |
|
|
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)
2266614
|
Klaus Havelund
Jan Peleska
Bill Roscoe
Erik De Vink
|
9783319955827 |
2018 |
Contains images
|
|
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings (Lecture Notes in Computer Science #13047)
4352375
|
Marieke Huisman
Corina Păsăreanu
Naijun Zhan
|
9783030908706 |
2021 |
Contains images
|
|
Formal Methods: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings (Lecture Notes in Computer Science #8195)
4784579
|
Juliano Iyoda
Leonardo De Moura
|
9783642410710 |
2013 |
|
|
Formal Methods: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings (Lecture Notes in Computer Science #13768)
5125295
|
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)
2336706
|
Tiago Massoni
Mohammad Reza Mousavi
|
9783030030445 |
2018 |
Contains images
|
|
Formal Methods: An Appetizer
2827007
|
Flemming Nielson
Hanne Riis Nielson
|
9783030051563 |
2019 |
|
|
Formal Methods: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers (Lecture Notes in Computer Science #5902)
4772841
|
Marcel Vinícius Medeiros Oliveira
Jim Woodcock
|
9783642104527 |
2009 |
|
|
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I (Lecture Notes in Computer Science #14933)
6212635
|
André Platzer
Kristin Yvonne Rozier
Matteo Pradella
Matteo Rossi
|
9783031711626 |
2025 |
Contains images
|
|
Formal Methods: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings (Lecture Notes in Computer Science #10090)
2854413
|
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)
6174477
|
Matteo Rossi
Kristin Yvonne Rozier
Andre Platzer
Matteo Pradella
|
9783031711770 |
2025 |
Contains images
|
|
Formal Methods: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings (Lecture Notes in Computer Science #7021)
4588845
|
Adenilso Simao
Carroll Morgan
|
9783642250323 |
2011 |
|
|
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)
3945401
|
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)
3356670
|
Maurice H. ter Beek
Annabelle McIver
José N. Oliveira
|
9783030309428 |
2019 |
Contains images
|
|
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture Notes in Computer Science #4700)
4778835
|
Cliff B. Jones
Zhiming Liu
Jim Woodcock
|
9783540752219 |
2007 |
|
|
Formal Methods and Models for System Design: A System Level Perspective (The\kluwer International Series In Video Computing)
3854961
|
Rajesh Gupta
Paul Le Guernic
Sandeep Kumar Shukla
Jean-Pierre Talpin
|
9781402080524 |
2004 |
|
|
Formal Methods and Object Technology (Formal Approaches to Computing and Information Technology (FACIT))
3861494
|
Stephen J. Goldsack
Stuart J. H. Kent
|
9781447130710 |
1996 |
|
|
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)
2975301
|
Yamine Ait-Ameur
Shengchao Qin
|
9783030324094 |
2019 |
Contains images
|
|
Formal Methods and Software Engineering: 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings (Lecture Notes in Computer Science #7635)
4728485
|
Toshiaki Aoki
Kenji Taguchi
|
9783642342813 |
2012 |
|
|
Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings (Lecture Notes in Computer Science #5885)
4775149
|
Karin Breitman
Ana Cavalcanti
|
9783642103735 |
2009 |
|
|
Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings (Lecture Notes in Computer Science #9407)
2836130
|
Michael Butler
Sylvain Conchon
Fatiha Zaïdi
|
9783319254234 |
2015 |
Contains images
|
|
Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings (Lecture Notes in Computer Science #4789)
4801887
|
Michael Butler
Michael G. Hinchey
Maria M. Larrondo-Petrie
|
9783540766506 |
2007 |
|
|