2006

Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings

International Conference on Formal Engineering Methods (8th : 2006 : Macau, China)



 

2007

Formal methods and software engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007 : proceedings

International Conference on Formal Engineering Methods (9th : 2007 : Boca Raton, Fla.)



 

2008

Formal Methods and Software Engineering.

International Conference on Formal Engineering Methods (2008 : Kitakyushu-City, Japan)



 

2009

Formal methods and software engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 ; proceedings

International Conference on Formal Engineering Methods (11th : 2009 : Rio de Janeiro, Brazil)



 

2010

Formal methods and software engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 : proceedings

International Conference on Formal Engineering Methods (12th : 2010 : Shanghai, China)



 

2011

Formal methods and software engineering : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011 : proceedings

IEEE International Conference on Formal Engineering Methods (13th : 2011 : Durham, England)



 

2012

Formal methods and software engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings

International Conference on Formal Engineering Methods (14th : 2012 : Kyoto, Japan)



 

2013

Formal methods and software engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29-November 1, 2013, Proceedings

International Conference on Formal Engineering Methods (15th : 2013 : Queenstown, N.Z.)

Heidelberg : Springer, [2013]

 

2014

Formal methods and software engineering : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings

International Conference on Formal Engineering Methods (16th : 2014 : Luxembourg, Luxembourg)

Cham : Springer, 2014

 

2016

Formal methods and software engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

International Conference on Formal Engineering Methods (18th : 2016 : Tokyo, Japan)

Cham, Switzerland : Springer, 2016

 

2017

Formal methods and software engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

International Conference on Formal Engineering Methods (19th : 2017 : Xi'an Shi, China)

Cham, Switzerland : Springer, 2017

 

2018

Formal methods and software engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

International Conference on Formal Engineering Methods (20th : 2018 : Gold Coast, Qld.)

Cham, Switzerland : Springer, 2018

 

2019

Formal methods and software engineering : 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings

International Conference on Formal Engineering Methods (21st : 2019 : Shenzhen Shi, China)

Cham, Switzerland : Springer, 2019

 

2021

Formal methods and software engineering : 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings

International Conference on Formal Engineering Methods (22nd : 2020 : Singapore, Singapore)



 

2022

Formal methods and software engineering : 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Spain, October 24-27, 2022

International Conference on Formal Engineering Methods (23rd : 2022 : Madrid, Spain)

Cham : Springer, [2022]

 

2023

Formal methods and software engineering : 24th International Conference on Formal Engineering Methods, ICFEM 2022, Brisbane, QLD, Australia, November 21-24, 2023 : proceedings

International Conference on Formal Engineering Methods (24th : 2022 : Brisbane, Qld.)

Singapore : Springer, [2023]

 

2007

Formal methods : applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected pa

International Workshop on Formal Methods for Industrial Critical Systems (11th : 2006 : Bonn, Germany)



 

2013

Formal methods for components and objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised selected papers

FMCO (Symposium) (11th : 2012 : Bertinoro, Italy)



 

2013

Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012 : revised lectures

FMCO (Symposium) (11th : 2012 : Bertinoro, Italy)

Heidelberg : Springer, [2013]

 

2008

Formal methods for industrial critical systems : 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers

International Workshop on Formal Methods for Industrial Critical Systems (12th : 2007 : Berlin, Germany)



 

2009

Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers

International Workshop on Formal Methods for Industrial Critical Systems (13th : 2008 : L'Aquila, Italy)



 

2009

Formal methods for industrial critical systems : 14th international workshop, FMICS 2009, Eindhoven, the Netherlands, November 2-3, 2009 : proceedings

International Workshop on Formal Methods for Industrial Critical Systems (14th : 2009 : Eindhoven, Netherlands)



 

2010

Formal methods for industrial critical systems : 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, proceedings

International Workshop on Formal Methods for Industrial Critical Systems (15th : 2010 : Antwerp, Belgium)



 

2011

Formal methods for industrial critical systems : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, proceedings

International Workshop on Formal Methods for Industrial Critical Systems (16th : 2011 : Trento, Italy)



 

2012

Formal methods for industrial critical systems : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings

International Workshop on Formal Methods for Industrial Critical Systems (17th : 2012 : Paris, France)



 

2013

Formal methods for industrial critical systems : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings

International Workshop on Formal Methods for Industrial Critical Systems (18th : 2013 : Madrid, Spain)

Heidelberg : Springer, [2013]

 

2014

Formal methods for industrial critical systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings

International Workshop on Formal Methods for Industrial Critical Systems (19th : 2014 : Florence, Italy)

Cham : Springer, 2014

 

2015

Formal methods for industrial critical systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015, Proceedings

International Workshop on Formal Methods for Industrial Critical Systems (20th : 2015 : Oslo, Norway)

Cham : Springer, 2015

 

2018

Formal methods for industrial critical systems : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

International Workshop on Formal Methods for Industrial Critical Systems (23rd : 2018 : Maynooth, Ireland)

Cham, Switzerland : Springer, 2018

 

2019

Formal methods for industrial critical systems : 24th international conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings

International Workshop on Formal Methods for Industrial Critical Systems (24th : 2019 : Amsterdam, Netherlands)

Cham : Springer, [2019]

 

2020

Formal methods for industrial critical systems : 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings

FMICS (Conference) (25th : 2020 : Online)



 

2021

Formal methods for industrial critical systems : 26th international conference, FMICS 2021, Paris, France, August 24-26, 2021 : proceedings

International Workshop on Formal Methods for Industrial Critical Systems (26th : 2021 : Online)

Cham : Springer, [2021]

 

2022

Formal methods for industrial critical systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, proceedings

International Workshop on Formal Methods for Industrial Critical Systems (27th : 2022 : Warsaw, Poland)

Cham : Springer, [2022]

 

2023

Formal methods for industrial critical systems : 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

International Workshop on Formal Methods for Industrial Critical Systems (28th : 2023 : Antwerp, Belgium)

Cham : Springer, 2023

 

2017

Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings

FORMATS (Conference) (15th : 2017 : Berlin, Germany)

Cham : Springer International Publishing, 2017

 

2010

Foundations of computer software : future trends and techniques for development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008 : revised selected papers

Monterey Workshop (15th : 2008 : Budapest, Hungary)



 

2011

Foundations of computer software : modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010 : revised selected papers

Monterey Workshop (16th : 2010 : Redmond, Wash.)



 

2013

Foundations of software science and computation structures : 16th International Conference, FOSSACS 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013,

FOSSACS (Conference) (16th : 2013 : Rome, Italy)



 

2014

Foundations of software science and computation structures : 17th International Conference, FOSSACS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014,

FOSSACS (Conference) (17th : 2014 : Grenoble, France)

Heidelberg : Springer, 2014

 

2015

Foundations of software science and computation structures : 18th International Conference, FOSSACS 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015,

FOSSACS (Conference) (18th : 2015 : London, England)

Heidelberg : Springer, 2015

 

2016

Foundations of software science and computation structures : 19th International Conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016,

FOSSACS (Conference) (19th : 2016 : Eindhoven, Netherlands)

Berlin : Springer, 2016

 

2017

Foundations of software science and computation structures : 20th International Conference, FOSSACS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017,

FOSSACS (Conference) (20th : 2017 : Uppsala, Sweden)

Berlin, Germany : Springer, 2017

 

2018

Foundations of software science and computation structures : 21st International Conference, FOSSACS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,

FOSSACS (Conference) (21st : 2018 : Thessalonikē, Greece)

Cham, Switzerland : Springer, 2018

 

2019

Foundations of software science and computation structures : 22nd International Conference, FOSSACS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019,

FOSSACS (Conference) (22nd : 2019 : Prague, Czech Republic)

Cham, Switzerland : Springer, 2019

 

2020

Foundations of software science and computation structures : 23rd International Conference, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020,

FOSSACS (Conference) (23rd : 2020 : Dublin, Ireland)

Cham, Switzerland : Springer Open, 2020

 

2021

Foundations of software science and computation structures : 24th international conference, FOSSACS 2021 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,

FOSSACS (Conference) (24th : 2021 : Online)

Cham, Switzerland : Springer, [2021]

 

2022

Foundations of software science and computation structures : 25th International Conference, FOSSACS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,

FOSSACS (Conference) (25th : 2022 : Munich, Germany)

Cham, Switzerland : Springer, 2022

 

2023

Foundations of software science and computation structures : 26th International Conference, FoSSaCS 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023,

FOSSACS (Conference) (26th : 2023 : Paris, France)

Cham, Switzerland : Springer, 2023

 

2024

Foundations of software science and computation structures : 27th International Conference, FoSSaCS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024,

FOSSACS (Conference) (27th : 2024 : Luxembourg, Luxembourg)

Cham : Springer, 2024

 

2024

Foundations of software science and computation structures : 27th International Conference, FoSSaCS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024,

FOSSACS (Conference) (27th : 2024 : Luxembourg, Luxembourg)

Cham : Springer, 2024