2012

Abstract state machines, Alloy, B, VDM, and Z : third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

ABZ (Conference) (3rd : 2012 : Pisa, Italy)



 

2014

ABZ 2014 : the landing gear case study : Case study track, held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings

ABZ (Conference) (4th : 2014 : Toulouse, France)

Cham : Springer, 2014

 

1996

Advances in theory and formal methods of computing : proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996

London : Imperial Collge Press, [1996]

Request It 

2009

Algebraic informatics : third international conference ; proceedings, CAI 2009, Thessaloniki, Greece, May 19-22, 2009

CAI 2009 (2009 : Thessalonikē, Greece)



 

2010

Automated reasoning for security protocol analysis and issues in the theory of security : Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010 : revised selected papers

Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2010 : Paphos, Cyprus)



 

2000

Cafe : an industrial-strength algebraic formal method

1st ed


 

2012

Certified programs and proofs : second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, proceedings

CPP 2012 (2012 : Kyoto, Japan)



 

2013

Certified programs and proofs : third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings

CPP (Conference) (3rd : 2013 : Melbourne, Vic.)

Cham : Springer, 2013

 

2008

Computer performance engineering : 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008 ; proceedings

EPEW (Workshop) (5th : 2008 : Palma de Mallorca, Spain)



 

2009

Computer performance engineering : 6th European Performance Engineering Workshop, EPEW 2009, London, UK, July 9-10, 2009 ; proceedings

EPEW (Workshop) (6th : 2009 : London, England)



 

2010

Computer performance engineering : 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010 : proceedings

EPEW (Workshop) (7th : 2010 : Bertinoro, Italy)



 

2011

Computer performance engineering : 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011 : proceedings

EPEW (Workshop) (8th : 2011 : Keswick, Cumbria, England)



 

2013

Computer performance engineering : 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised selected papers

EPEW (Workshop) (9th : 2012 : Munich, Germany)



 

2013

Computer Performance Engineering : 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013 : proceedings

EPEW (Workshop) (10th : 2013 : Venice, Italy)

Heidelberg : Springer, [2013]

 

2014

Computer performance engineering : 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014. Proceedings

EPEW (Workshop) (11th : 2014 : Florence, Italy)

Cham : Springer, 2014

 

2015

Computer performance engineering : 12th European Workshop, EPEW 2015, Madrid, Spain, August 31-September 1, 2015, Proceedings

EPEW (Workshop) (12th : 2015 : Madrid, Spain)

Cham : Springer, 2015

 

2016

Computer performance engineering : 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings

EPEW (Workshop) (13th : 2016 : Chios, Greece)

Cham, Switzerland : Springer, 2016

 

2012

Computer safety, reliability, and security : 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings

SAFECOMP 2012 (2012 : Magdeburg, Germany)



 

2015

Correct system design : symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday Oldenburg, Germany, September 8-9, 2015. Proceedings

Cham : Springer, 2015

 

2016

Critical systems : formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verifica

International Workshop on Formal Methods for Industrial Critical Systems (21st : 2016 : Pisa, Italy)

Cham : Springer, 2016

 

2017

Critical systems : formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verifica

International Workshop on Formal Methods for Industrial Critical Systems (22nd : 2017 : Turin, Italy), jointly held conference.

Cham, Switzerland : Springer, 2017

 

2020

Dependable software engineering : theories, tools, and applications : 6th international symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings

SETTA (Symposium) (6th : 2020 : Guangzhou, China)

Cham, Switzerland : Springer, [2020]

 

2021

Dependable software engineering : theories, tools, and applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings

SETTA (Symposium) (7th : 2021 : Beijing, China)

Cham, Switzerland : Springer, 2021

 

2022

Dependable software engineering : theories, tools, and applications : 8th International Symposium, SETTA 2022, Beijing, China, October 24-28, 2022, proceedings

SETTA (Symposium) (8th : 2022 : Beijing, China)

Cham : Springer, [2022]

 

2024

Dependable software engineering : theories, tools, and applications : 9th international symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, proceedings

SETTA (Symposium) (9th : 2023 : Nanjing, China)

Singapore : Springer, [2024]

 

2011

Descriptional complexity of formal systems : 13th international workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011 : proceedings

DCFS (Workshop) (13th : 2011 : Giessen, Germany; Limburg, Germany)



 

2012

Descriptional complexity of formal systems : 14th international workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, proceedings

DCFS (Workshop) (14th : 2012 : Braga, Portugal)



 

2013

Descriptional complexity of formal systems : 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings

DCFS (Workshop) (15th : 2013 : London, Ont.)

Heidelberg : Springer, [2013]

 

2014

Descriptional complexity of formal systems : 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings

DCFS (Workshop) (16th : 2014 : Turku, Finland)

Cham : Springer, 2014

 

2015

Descriptional complexity of formal systems : 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings

DCFS (Workshop) (17th : 2015 : Waterloo, Ont.)

Cham : Springer, 2015

 

2016

Descriptional complexity of formal systems : 18th International Workshop, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

DCFS (Workshop) (18th : 2016 : Bucharest, Romania)

Switzerland : Springer, [2016]

 

2017

Descriptional complexity of formal systems : 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings

DCFS (Workshop) (19th : 2017 : Milan, Italy)

Cham, Switzerland : Springer, 2017

 

2018

Descriptional complexity of formal systems : 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018, Proceedings

DCFS (Workshop) (20th : 2018 : Halifax, N.S.)

Cham, Switzerland : Springer, 2018

 

2019

Descriptional complexity of formal systems : 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17-19, 2019, proceedings

DCFS (Workshop) (21st : 2019 : Košice, Slovakia.)

Cham, Switzerland : Springer, 2019

 

2020

Descriptional complexity of formal systems : 22nd International Conference, DCFS 2020, Vienna, Austria, August 24-26, 2020, Proceedings

DCFS (Workshop) (22nd : 2020)

Cham, Switzerland : Springer, [2020]

 

2021

Descriptional complexity of formal systems : 23rd IFIP WG 1.02 International Conference, DCFS 2021, Virtual event, September 5, 2021, Proceedings

DCFS (Workshop) (23rd : 2021 : Online)

Cham, Switzerland : Springer, 2021

 

2022

Descriptional complexity of formal systems : 24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29-31, 2022, proceedings

DCFS (Workshop) (24th : 2022 : Debrecen, Hungary)

Cham, Switzerland : Springer, 2022

 

2023

Descriptional complexity of formal systems : 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023, Proceedings

DCFS (Workshop) (25th : 2023 : Potsdam, Germany)

Cham : Springer, [2023]

 

2010

Finite-state methods and natural language processing : 8th international workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, revised selected papers

FSMNLP 2009 (2009 : Pretoria, South Africa)



 

2005

FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings

International Symposium of Formal Methods Europe (13th : 2005 : Newcastle upon Tyne, England)



 

2006

FM 2006 : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings

International Symposium of Formal Methods Europe (14th : 2006 : Hamilton, Ont.)



 

2008

FM 2008 : formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings

International Symposium of Formal Methods Europe (15th : 2008 : Turku, Finland)



 

2009

FM 2009 : formal methods : second world congress, Eindhoven, the Netherlands, November 2-6, 2009 : proceedings

International Symposium of Formal Methods Europe (16th : 2009 : Eindhoven, Netherlands)



 

2011

FM 2011 : formal methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011 : proceedings

International Symposium of Formal Methods Europe (17th : 2011 : Limerick, Limerick, Ireland)



 

2012

FM 2012 : formal methods ; 18th International Symposium, Paris, France, August 27-31, 2012, Proceedings

International Symposium of Formal Methods Europe (18th : 2012 : Paris, France)



 

2014

FM 2014 : Formal methods : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

International Symposium of Formal Methods Europe (19th : 2014 : Singapore)

Cham : Springer, 2014

 

2015

FM 2015 : formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

International Symposium of Formal Methods Europe (20th : 2015 : Oslo, Norway)

Cham : Springer, 2015

 

2016

FM 2016 : formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

International Symposium of Formal Methods Europe (21st : 2016 : Limassol, Cyprus)

Cham, Switzerland : Springer, 2016

 

2005

Formal approaches to software testing : 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004, revised selected papers

FATES 2004 (2004 : Linz, Austria)
First edition
New York, NY ; [Great Britain] : Springer, 2005

Request It 

2005

Formal approaches to software testing : 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers

FATES 2004 (2004 : Linz, Austria)