Stop the war!

Остановите войну!

• solidarity - (ua) - (ru)
• news - (ua) - (ru)
• donate - donate - donate

for scientists:

• ERA4Ukraine
• Assistance in Germany
• Ukrainian Global University
• #ScienceForUkraine

default search action

• combined dblp search
• author search
• venue search
• publication search

Authors:

• no matches

• 

Venues:

• no matches

• 

Publications:

• no matches

• 

ask others

• Google
• Google Scholar
• Semantic Scholar
• IA Scholar
• CiteSeerX
• ORCID

Venue Information

• is part of (every 10 years): World Congress on Formal Methods
• is part of (2002, 2018): Federated Logic Conference (FLoC)
• has part: International Conference of Tests and Proofs (TAP)
• has part: International Workshop on Formal Integrated Development Environment (F-IDE)
• has part: Workshop on Applicable Formal Methods (AppFM)
• has part: Workshop on Formal Methods in Software Engineering Education and Training (FMSEE&T)

• 
  Marieke Huisman, Corina S. Pasareanu, Naijun Zhan:
  Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings. Lecture Notes in Computer Science 13047, Springer 2021, ISBN 978-3-030-90869-0 [contents]
• 
  Mario Gleirscher, Jaco van de Pol, Jim Woodcock:
  Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021. EPTCS 349, 2021 [contents]

• 
  Maurice H. ter Beek, Annabelle McIver, José N. Oliveira:
  Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings. Lecture Notes in Computer Science 11800, Springer 2019, ISBN 978-3-030-30941-1 [contents]
• 
  Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas:
  Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I. Lecture Notes in Computer Science 12232, Springer 2020, ISBN 978-3-030-54993-0 [contents]
• 
  Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas:
  Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II. Lecture Notes in Computer Science 12233, Springer 2020, ISBN 978-3-030-54996-1 [contents]
• 
  Dirk Beyer, Chantal Keller:
  Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto, Portugal, October 9-11, 2019, Proceedings. Lecture Notes in Computer Science 11823, Springer 2019, ISBN 978-3-030-31156-8 [contents]
• 
  Pedro Ribeiro, Augusto Sampaio:
  Unifying Theories of Programming - 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. Lecture Notes in Computer Science 11885, Springer 2019, ISBN 978-3-030-31037-0 [contents]
• 
  Brijesh Dongol, Luigia Petre, Graeme Smith:
  Formal Methods Teaching - Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings. Lecture Notes in Computer Science 11758, Springer 2019, ISBN 978-3-030-32440-7 [contents]
• 
  Luís Soares Barbosa, Alexandru Baltag:
  Dynamic Logic. New Trends and Applications - Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings. Lecture Notes in Computer Science 12005, Springer 2020, ISBN 978-3-030-38807-2 [contents]
• 
  Rosemary Monahan, Virgile Prevosto, José Proença:
  Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019. EPTCS 310, 2019 [contents]

• 
  Klaus Havelund, Jan Peleska, Bill Roscoe, Erik P. de Vink:
  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, Springer 2018, ISBN 978-3-319-95581-0 [contents]
• 
  John Derrick, Brijesh Dongol, Steve Reeves:
  Proceedings 18th Refinement Workshop, Refine@FM 2018, Oxford, UK, 18th July 2018. EPTCS 282, 2018 [contents]
• 
  Paolo Masci, Rosemary Monahan, Virgile Prevosto:
  Proceedings 4th Workshop on Formal Integrated Development Environment, F-IDE@FLoC 2018, Oxford, England, 14 July 2018. EPTCS 284, 2018 [contents]

• 
  John S. Fitzgerald, Constance L. Heitmeyer, Stefania Gnesi, Anna Philippou:
  FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. Lecture Notes in Computer Science 9995, 2016, ISBN 978-3-319-48988-9 [contents]
• 
  Catherine Dubois, Paolo Masci, Dominique Méry:
  Proceedings of the Third Workshop on Formal Integrated Development Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016. EPTCS 240, 2017 [contents]

• 
  Nikolaj S. Bjørner, Frank S. de Boer:
  FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. Lecture Notes in Computer Science 9109, Springer 2015, ISBN 978-3-319-19248-2 [contents]
• 
  Andreas Bollin, Tiziana Margaria, Isabelle Perseil:
  Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, FMSEE&T 2015, co-located with 20th International Symposium on Formal Methods (FM 2015), Oslo, Norway, June 23, 2015. CEUR Workshop Proceedings 1385, CEUR-WS.org 2015 [contents]
• 
  Catherine Dubois, Paolo Masci, Dominique Méry:
  Proceedings Second International Workshop on Formal Integrated Development Environment, F-IDE 2015, Oslo, Norway, June 22, 2015. EPTCS 187, 2015 [contents]
• 
  John Derrick, Eerke A. Boiten, Steve Reeves:
  Proceedings 17th International Workshop on Refinement, Refine@FM 2015, Oslo, Norway, 22nd June 2015. EPTCS 209, 2016 [contents]

• 
  Cliff B. Jones, Pekka Pihlajasaari, Jun Sun:
  FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. Lecture Notes in Computer Science 8442, Springer 2014, ISBN 978-3-319-06409-3 [contents]

• 
  Dimitra Giannakopoulou, Dominique Méry:
  FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings. Lecture Notes in Computer Science 7436, Springer 2012, ISBN 978-3-642-32758-2 [contents]

• 
  Michael J. Butler, Wolfram Schulte:
  FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings. Lecture Notes in Computer Science 6664, Springer 2011, ISBN 978-3-642-21436-3 [contents]
• 
  John Derrick, Eerke A. Boiten, Steve Reeves:
  Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011. EPTCS 55, 2011 [contents]

FM 2009 Home Page

• 
  Ana Cavalcanti, Dennis Dams:
  FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings. Lecture Notes in Computer Science 5850, Springer 2009, ISBN 978-3-642-05088-6 [contents]

FM 2008 Home Page

• 
  Jorge Cuéllar, T. S. E. Maibaum, Kaisa Sere:
  FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings. Lecture Notes in Computer Science 5014, Springer 2008, ISBN 978-3-540-68235-6 [contents]

FM 2006 Home Page

• 
  Jayadev Misra, Tobias Nipkow, Emil Sekerinski:
  FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings. Lecture Notes in Computer Science 4085, Springer 2006, ISBN 3-540-37215-6 [contents]

FM 2005 Home Page

• 
  John S. Fitzgerald, Ian J. Hayes, Andrzej Tarlecki:
  FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings. Lecture Notes in Computer Science 3582, Springer 2005, ISBN 3-540-27882-6 [contents]

FM 2003 Home Page

• 
  Keijiro Araki, Stefania Gnesi, Dino Mandrioli:
  FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings. Lecture Notes in Computer Science 2805, Springer 2003, ISBN 3-540-40828-2 [contents]

part of FLoC 2002

• 
  Lars-Henrik Eriksson, Peter A. Lindsay:
  FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings. Lecture Notes in Computer Science 2391, Springer 2002, ISBN 3-540-43928-5 [contents]

• 
  José Nuno Oliveira, Pamela Zave:
  FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings. Lecture Notes in Computer Science 2021, Springer 2001, ISBN 3-540-41791-5 [contents]

• 
  Jeannette M. Wing, Jim Woodcock, Jim Davies:
  FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I. Lecture Notes in Computer Science 1708, Springer 1999, ISBN 3-540-66587-0 [contents]
• 
  Jeannette M. Wing, Jim Woodcock, Jim Davies:
  FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II. Lecture Notes in Computer Science 1709, Springer 1999, ISBN 3-540-66588-9 [contents]

• 
  Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann:
  Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, Proceedings. Lecture Notes in Computer Science 1641, Springer 1999, ISBN 3-540-66462-9 [contents]

• 
  John S. Fitzgerald, Cliff B. Jones, Peter Lucas:
  FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, Proceedings. Lecture Notes in Computer Science 1313, Springer 1997, ISBN 3-540-63533-5 [contents]

• 
  Marie-Claude Gaudel, Jim Woodcock:
  FME '96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings. Lecture Notes in Computer Science 1051, Springer 1996, ISBN 3-540-60973-3 [contents]

• 
  Maurice Naftalin, B. Tim Denvir, Miquel Bertran:
  FME '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings. Lecture Notes in Computer Science 873, Springer 1994, ISBN 3-540-58555-9 [contents]

• 
  Jim Woodcock, Peter Gorm Larsen:
  FME '93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings. Lecture Notes in Computer Science 670, Springer 1993, ISBN 3-540-56662-7 [contents]

• 
  Søren Prehn, W. J. Toetenel:
  VDM '91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 1: Conference Contributions. Lecture Notes in Computer Science 551, Springer 1991, ISBN 3-540-54834-3 [contents]
• 
  Søren Prehn, W. J. Toetenel:
  VDM '91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 2: Tutorials. Lecture Notes in Computer Science 552, Springer 1991, ISBN 3-540-54868-8 [contents]

• 
  Dines Bjørner, C. A. R. Hoare, Hans Langmaack:
  VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings. Lecture Notes in Computer Science 428, Springer 1990, ISBN 3-540-52513-0 [contents]

• 
  Robin E. Bloomfield, Lynn S. Marshall, Roger B. Jones:
  VDM '88, VDM - The Way Ahead, 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988, Proceedings. Lecture Notes in Computer Science 328, Springer 1988, ISBN 3-540-50214-9 [contents]

• 
  Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold:
  VDM '87, VDM - A Formal Method at Work, VDM-Europe Symposium, Brussels, Belgium, March 23-26, 1987, Proceedings. Lecture Notes in Computer Science 252, Springer 1987, ISBN 3-540-17654-3 [contents]

• 
  Jørgen Staunstrup:
  Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981. Lecture Notes in Computer Science 134, Springer 1982, ISBN 3-540-11490-4 [contents]

• 
  Helmut K. Berg, Wolfgang K. Giloi:
  The Use of Formal Specification of Software, June 25-27, 1979, Berlin, Germany. Informatik-Fachberichte 36, Springer 1980, ISBN 3-540-10442-9 [contents]

• 
  Dines Bjørner, Cliff B. Jones:
  The Vienna Development Method: The Meta-Language. Lecture Notes in Computer Science 61, Springer 1978, ISBN 3-540-08766-4 [contents]

a service of  

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.

Unpaywalled article links

Add open access links from to the list of external document links (if available).

load links from unpaywall.org

Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.

Archived links via Wayback Machine

For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).

load content from web.archive.org

Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.

Reference lists

Add a list of references from , , and to record detail pages.

load references from crossref.org and opencitations.net

Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.

Citation data

Add a list of citing articles from and to record detail pages.

load citations from opencitations.net

Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.

OpenAlex data

Load additional information about publications from .

load data from openalex.org

Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.

Tweets on dblp homepage

Show tweets from on the dblp homepage.

load tweets from twitter.com

Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.

 last updated on 2022-07-01 18:42 CEST by the dblp team

 all metadata released as open data under CC0 1.0 license 

see also: Terms of Use | Privacy Policy | Imprint

dblp has been originally created in 1993 at:

 

since 2018, dblp is operated and maintained by:

 

the dblp computer science bibliography is funded and supported by: