Formal methods (Computer science)

TOOLympics challenge 2023 = updates, results, successes of the formal-methods competitions / by: (Language materials, printed)

Leveraging applications of formal methods, verification and validation = specification and verification : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.. Part III / by: (Language materials, printed)

Leveraging applications of formal methods, verification and validation = application areas : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.. Part V / by: (Language materials, printed)

Leveraging applications of formal methods, verification and validation = rigorous engineering of collective adaptive systems : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.. Part II / by: (Language materials, printed)

Leveraging applications of formal methods, verification and validation = software engineering methodologies : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.. Part IV / by: (Language materials, printed)

The combined power of research, education, and dissemination = essays dedicated to Tiziana Margaria on the occasion of her 60th birthday / by: (Language materials, printed)

Real time and such = essays dedicated to Wang Yi to celebrate his scientific career / by: (Language materials, printed)

Runtime verification = 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024 : proceedings / by: (Language materials, printed)

Leveraging applications of formal methods, verification and validation = REoCAS Colloquium in Honor of Rocco De Nicola : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.. Part I / by: (Language materials, printed)

Formal methods = 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024 : proceedings.. Part II / by: (Language materials, printed)

Formal methods = 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024 : proceedings.. Part I / by: (Language materials, printed)

Descriptional complexity of formal systems = 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22-24, 2025 : proceedings / by: (Language materials, printed)

Formal techniques for distributed objects, components, and systems = 45th IFIP WG 6.1 International Conference, FORTE 2025, held as part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025 : proceedings / by: (Language materials, printed)

Nasa formal methods = 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025 : proceedings / by: (Language materials, printed)

Formal Methods in Software and Systems Modeling = Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday / by: (Language materials, printed)

Formal Methods for Mobile Computing = 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures / by: (Language materials, printed)

Formal Techniques for Computer Systems and Business Processes = European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005 : proceedings / by: (Language materials, printed)

Integrated Formal Methods : = 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings by: (Language materials, printed)

Web services and formal methods = 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 ; proceedings / by: (Language materials, printed)

FM 2005: Formal Methods = International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings / by: (Language materials, printed)

Formal Aspects in Security and Trust = IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France / by: (Language materials, printed)

Software engineering and formal methods = 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings / by: (Language materials, printed)

Formal Modeling and Analysis of Timed Systems = 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015 : proceedings / by: (Language materials, printed)

Formal Techniques for Networked and Distributed Systems - FORTE 2005 : = 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings by: (Language materials, printed)

Formal Methods and Software Engineering : = 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings by: (Language materials, printed)

Computer performance engineering = 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015 : proceedings / by: (Language materials, printed)

Formal methods for computational systems biology = 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2 - 7, 2008 : advanced lectures / by: (Language materials, printed)

Formal methods and testing = an outcome of the FORTEST network : revised selected papers / by: (Language materials, printed)

Formal verification of object-oriented software = international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers / by: (Language materials, printed)

Formal aspects of security and trust = 7th international workshop, FAST 2010, Pisa, Italy, September 16-17, 2010 : revised selected papers / by: (Language materials, printed)

FORMS/FORMAT 2010 = formal methods for automation and safety in railway and automotive systems / by: (Language materials, printed)

Countering Counterfeit Trade = Illicit Market Insights, Best-Practice Strategies, and Management Toolbox / by: (Language materials, printed)

Formal methods = foundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers / by: (Language materials, printed)

Web services and formal methods = 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010 : revised selected papers / by: (Language materials, printed)

Formal grammar = 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009 : revised selected papers / by: (Language materials, printed)

Specification of software systems by: (Language materials, printed)

Formal Approaches to Software Testing = 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers / by: (Language materials, printed)

Design patterns formalization techniques by: (Language materials, printed)

NASA formal methods = third international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 : proceedings / by: (Language materials, printed)

Formal concept analysis = 9th international conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011 : proceedings / by: (Language materials, printed)

Descriptional complexity of formal systems = 13th international workshop, DCFS 2011, Giessen/Limburg, Germany, July 25-27, 2011 : proceedings / by: (Language materials, printed)

Formal techniques for distributed systems = joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011 : proceedings / by: (Language materials, printed)

Formal methods for eternal networked software systems = 11th international school on formal methods for the design of computer, communication and software systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011 : advanced lectures / by: (Language materials, printed)

FM 2011 = formal methods : 17th international symposium on formal methods, Limerick, Ireland, June 20-24, 2011 : proceedings / by: (Language materials, printed)

Tests and proofs = 5th international conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings / by: (Language materials, printed)

Secure Transaction Protocol Analysis = Models and Applications / by: (Language materials, printed)

Validated Designs for Object-oriented Systems by: (Language materials, printed)

Formal techniques for networked and distributed systems--FORTE 2008 = 28th IFIP WG 6.1 international conference, Tokyo, Japan, June 10-13, 2008 : proceedings / by: (Language materials, printed)

Software specification methods / by: (Language materials, printed)

Practical UML statecharts in C/C++ = event-driven programming for embedded systems / by: (Language materials, printed)

Rigorous methods for software construction and analysis = essays dedicated to Egon Borger on the occasion of his 60th birthday / by: (Language materials, printed)

Formal methods for industrial critical systems = 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 : proceedings / by: (Language materials, printed)

FM 2009 = formal methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings / by: (Language materials, printed)

Formal methods and software engineering = 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings / by: (Language materials, printed)

Formal methods = foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : revised selected papers / by: (Language materials, printed)

Runtime verification = 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers / by: (Language materials, printed)

Teaching formal methods = second international conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings / by: (Language materials, printed)

Foundations and applications of security analysis = Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009 : revised selected papers / by: (Language materials, printed)

Formal modeling and analysis of timed systems = 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings / by: (Language materials, printed)

Theoretical aspects of computing - ICTAC 2009 = 6th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings / by: (Language materials, printed)

Algebraic informatics = third international conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009 : proceedings / by: (Language materials, printed)

Formal Methods for Components and Objects = 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures / by: (Language materials, printed)

Formal ontology in information systems = proceedings of the sixth international conference (FOIS 2010) / by: (Language materials, printed)

Formal methods, foundations and applications = 14th Brazilian Symposium, SBMF 2011, Sao Paulo, Brazil, September 26-30, 2011 : revised selected papers / by: (Language materials, printed)

Software engineering and formal methods = 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings / by: (Language materials, printed)

Formal modeling = actors, open systems, biological systems : essays dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday / by: (Language materials, printed)

Formal methods and software engineering = 13th international conference on formal engineering methods, ICFEM 2011, Durham, UK, October 26-28, 2011 : proceedings / by: (Language materials, printed)

Formal modeling and analysis of timed systems = 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 : proceedings / by: (Language materials, printed)

Formal methods for industrial critical systems = 16th international workshop, FMICS 2011, Trento, Italy, August 29-30, 2011 : proceedings / by: (Language materials, printed)

Formal development of a network-centric RTOS = software engineering for reliable embedded systems / by: (Language materials, printed)

Recent trends in algebraic development techniques = 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers / by: (Language materials, printed)

Correct system design = symposium in honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015 : proceedings / by: (Language materials, printed)

Formal methods and software engineering = 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings / by: (Language materials, printed)

Runtime verification = 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings / by: (Language materials, printed)

Teamwork in multi-agent systems = a formal approach / by: (Language materials, printed)

Theory and applications of formal argumentation = third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015 : revised selected papers / by: (Language materials, printed)

Software engineering and formal methods = SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015 : revised selected papers / by: (Language materials, printed)

Runtime verification = third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012 : revised selected papers / by: (Language materials, printed)

Formal aspects of component software = 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 : revised selected papers / by: (Language materials, printed)

Formal methods for components and objects = 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers / by: (Language materials, printed)

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 / by: (Language materials, printed)

Formal methods for mining structured objects by: (Language materials, printed)

Recent trends in algebraic development techniques = 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012 : revised selected papers / by: (Language materials, printed)

NASA formal methods = 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013 : proceedings / by: (Language materials, printed)

Web services and formal methods = 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012 : revised selected papers / by: (Language materials, printed)

Formal concept analysis = 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013 : proceedings / by: (Language materials, printed)

Formal techniques for distributed systems = Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, held as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013 : proceedings / by: (Language materials, printed)

Integrated formal methods = 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013 : proceedings / by: (Language materials, printed)

Formal methods for dynamical systems = 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013 : advanced lectures / by: (Language materials, printed)

Using Event-B for critical device software systems by: (Language materials, printed)

Descriptional complexity of formal systems = 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013 : proceedings / by: (Language materials, printed)

Formal methods: foundations and applications = 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013 : proceedings / by: (Language materials, printed)

Theories of programming and formal methods = essays dedicated to Jifeng He on the Occasion of His 70th Birthday / by: (Language materials, printed)

Formal grammar = 17th and 18th International Conferences, FG 2012/2013 Opole, Poland, August 2012 : revised selected papers, Dusseldorf, Germany, August 2013 : proceedings / by: (Language materials, printed)

Formal modeling and analysis of timed systems = 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013 : proceedings / by: (Language materials, printed)

Structured object-oriented formal language and method = second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012 : revised selected papers / by: (Language materials, printed)

Formal methods for components and objects = 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012 : revised lectures / by: (Language materials, printed)

Computer performance engineering = 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings / by: (Language materials, printed)

Software engineering and formal methods = 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013 : proceedings / by: (Language materials, printed)

Runtime verification = 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013 : proceedings / by: (Language materials, printed)

Formal methods for industrial critical systems = 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013 : proceedings / by: (Language materials, printed)

Formal methods for industrial critical systems = a survey of applications / by: (Language materials, printed)

Formal methods and software engineering = 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings / by: (Language materials, printed)

Formal aspects of component software = 8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers / by: (Language materials, printed)

Certified programs and proofs = second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings / by: (Language materials, printed)

Constructing correct software by: (Language materials, printed)

Formal methods: Foundations and applications = 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012 : proceedings / by: (Language materials, printed)

Computer safety, reliability, and security = 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012 : proceedings / by: (Language materials, printed)

Software engineering and formal methods = 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012 : proceedings / by: (Language materials, printed)

Leveraging applications of formal methods, verification and validation. Technologies for mastering change = 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings.. Part I / by: (Language materials, printed)

Leveraging applications of formal methods, verification and validation. Applications and case studies = 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings.. Part II / by: (Language materials, printed)

Formal methods for industrial critical systems = 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings / by: (Language materials, printed)

FM 2012 = formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings / by: (Language materials, printed)

Formal modeling and analysis of timed systems = 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012 : proceedings / by: (Language materials, printed)

Descriptional complexity of formal systems = 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012 : proceedings / by: (Language materials, printed)

Languages alive = essays dedicated to Jurgen Dassow on the occasion of his 65th birthday / by: (Language materials, printed)

Formal verification of object-oriented software = international conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011 : revised selected papers / by: (Language materials, printed)

Formal aspects of security and trust = 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011 : revised selected papers / by: (Language materials, printed)

Integrated formal methods = 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings / by: (Language materials, printed)

Formal techniques for distributed systems = Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012 : proceedings / by: (Language materials, printed)

Abstract state machines, Alloy, B, VDM, and Z = third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012 : proceedings / by: (Language materials, printed)

Formal methods for model-driven engineering = 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012 : advanced lectures / by: (Language materials, printed)

Tests and proofs = 6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / by: (Language materials, printed)

Runtime verification = second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers / by: (Language materials, printed)

Computer performance engineering = 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011 : proceedings / by: (Language materials, printed)

Formal methods and software engineering = 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013 : proceedings / by: (Language materials, printed)

Certified programs and proofs = third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013 : proceedings / by: (Language materials, printed)

System specification and design languages = selected contributions from FDL 2010 / by: (Language materials, printed)

Foundations of algebraic specification and formal software development by: (Language materials, printed)

Formal aspects of component software = 7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers / by: (Language materials, printed)

Transactions on computational science XV = special issue on advances in autonomic computing : formal engineering methods for nature-inspired computing systems / by: (Language materials, printed)

NASA formal methods = 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings / by: (Language materials, printed)

Theory and applications of formal argumentation = first International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011 : revised selected papers / by: (Language materials, printed)

Web services and formal methods = 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011 : revised selected papers / by: (Language materials, printed)

Fuzzy computational ontologies in contexts = formal models of knowledge representation with membership degree and typicality of objects, and their applications / by: (Language materials, printed)

The correctness-by-construction approach to programming by: (Language materials, printed)

FME 2003 = formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings / by: (Language materials, printed)

Formal aspects of security = first international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers / by: (Language materials, printed)

Formal methods and software engineering = 5th International Conference on Formal Engineering Methods, ISFEM 2003, Singapore, November 5-7, 2003 : proceedings / by: (Language materials, printed)

Formal methods for components and objects = first international symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures / by: (Language materials, printed)

Formal methods for software architectures = Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SFM 2003, Bertinoro, Italy, September 2003 : advanced lectures / by: (Language materials, printed)

Formal techniques for networked and distributed systems, FORTE 2003 = 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings / by: (Language materials, printed)

Integrated formal methods = 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings / by: (Language materials, printed)

Applying formal methods = testing, performance, and M/E-commerce : FORTE 2004 workshops, TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings / by: (Language materials, printed)

Formal approaches to software testing = Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers / by: (Language materials, printed)

Formal methods and software engineering = 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings / by: (Language materials, printed)

Formal methods for components and objects = second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures / by: (Language materials, printed)

Formal methods for the design of real-time systems = International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : revised lectures / by: (Language materials, printed)

Formal modeling and analysis of timed systems = first international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 : revised papers / by: (Language materials, printed)

Formal techniques for networked and distributed systems - FORTE 2004 = 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings / by: (Language materials, printed)

Formal techniques, modelling and analysis of timed and fault-tolerant systems = joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings / by: (Language materials, printed)

From object-orientation to formal methods = essays in memory of Ole-Johan Dahl / by: (Language materials, printed)

Integrated formal methods = 7th international conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009 ; Proceedings / by: (Language materials, printed)

Formal aspects in security and trust = 5th international workshop, FAST 2008, Malaga, Spain, October 9-10, 2008 ; revised selected papers / by: (Language materials, printed)

Web services and formal methods = 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008 ; revised selected papers / by: (Language materials, printed)

Formal methods for web services = 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, advanced lectures / by: (Language materials, printed)

Formal ontology in information systems = proceedings of the seventh International Conference (FOIS 2012) / by: (Language materials, printed)

Structured object-oriented formal language and method = third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers / by: (Language materials, printed)

Theory and applications of formal argumentation = second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013 : revised selected papers / by: (Language materials, printed)

Software Engineering and Formal Methods = SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013 : revised selected papers / by: (Language materials, printed)

Cafe = an industrial-strength algebraic formal method / by: (Language materials, printed)

Modeling and verification using UML statecharts = a working guide to reactive system design, runtime monitoring, and execution-based model checking / by: (Language materials, printed)

Verification techniques for system-level design by: (Language materials, printed)

Formal methods applied to complex systems DUP_1 = implementation of the B Method / by: (Language materials, printed)

Formal methods applied to industrial complex systems DUP_1 by: (Language materials, printed)

Formal methods DUP_1 = industrial use from model to the code / by: (Language materials, printed)

Industrial used of formal method DUP_1 = formal verification / by: (Language materials, printed)

Formal methods for industrial critical systems = a survey of applications / by: (Language materials, printed)

Formal methods applied to industrial complex systems by: (Language materials, printed)

Formal methods applied to complex systems = implementation of the B Method / by: (Language materials, printed)

Industrial used of formal method = formal verification / by: (Language materials, printed)

Formal methods = industrial use from model to the code / by: (Language materials, printed)

Languages, design methods, and tools for electronic system design = selected contributions from FDL 2013 / by: (Language materials, printed)

Formal methods = foundations and applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29 - October 1, 2014 : proceedings / by: (Language materials, printed)

Software engineering and formal methods = SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014 : revised selected papers / by: (Language materials, printed)

Formal aspects of component software = 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014 : revised selected papers / by: (Language materials, printed)

Languages, design methods, and tools for electronic system design = selected contributions from FDL 2014 / by: (Language materials, printed)

Formal aspects of component software = 12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015 : revised selected papers / by: (Language materials, printed)

Formal techniques for safety-critical systems = 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015 : revised selected papers / by: (Language materials, printed)

Formal methods: foundations and applications = 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015 : proceedings / by: (Language materials, printed)

Complete symbolic simulation of SystemC models = efficient formal verification of finite non-terminating programs / by: (Language materials, printed)

Theory and practice of formal methods = essays dedicated to Frank de Boer on the occasion of his 60th birthday / by: (Language materials, printed)

Structured object-oriented formal language and method = 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 : revised selected papers / by: (Language materials, printed)

Web services, formal methods, and behavioral types = 11th International Workshop, WS-FM 2014, Eindhoven, the Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015 : revised selected papers / by: (Language materials, printed)

Integrated formal methods = 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings / by: (Language materials, printed)

Formal techniques for distributed objects components, and systems = 36th IFIP WG 6.1 International Conference, FORTE 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016 : proceedings / by: (Language materials, printed)

Languages, design methods, and tools for electronic system design = selected contributions from FDL 2015 / by: (Language materials, printed)

Formal methods for the quantitative evaluation of collective adaptive systems = 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016 : advanced lectures / by: (Language materials, printed)

NASA formal methods = 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016 : proceedings / by: (Language materials, printed)

Software engineering and formal methods = 14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016 : proceedings / by: (Language materials, printed)

Formal modeling and analysis of timed systems = 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016 : proceedings / by: (Language materials, printed)

Critical systems = formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016 : proceedings / by: (Language materials, printed)

Computer performance engineering = 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016 : proceedings / by: (Language materials, printed)

Runtime verification = 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016 : proceedings / by: (Language materials, printed)

Subjective logic = a formalism for reasoning under uncertainty / by: (Language materials, printed)

Leveraging applications of formal methods, verification and validation = foundational techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.. Part I / by: (Language materials, printed)

Leveraging applications of formal methods, verification and validation = discussion, dissemination, applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.. Part II / by: (Language materials, printed)

Formal methods and software engineering = 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings / by: (Language materials, printed)

FM 2016 = formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016 : proceedings / by: (Language materials, printed)

Formal methods = foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016 : proceedings / by: (Language materials, printed)

Leveraging applications of formal methods, verification, and validation = 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : revised selected papers / by: (Language materials, printed)

The handbook of formal methods in human-computer interaction by: (Language materials, printed)

Structured object-oriented formal language and method = 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016 : revised selected papers / by: (Language materials, printed)

Formal aspects of component software = 13th International Conference, FACS 2016, Besancon, France, October 19-21, 2016 : revised selected papers / by: (Language materials, printed)

Formal methods and software engineering = 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017 : proceedings / by: (Language materials, printed)

Descriptional complexity of formal systems = 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017 : proceedings / by: (Language materials, printed)

Formal concept analysis of social networks by: (Language materials, printed)

Formal methods = foundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017 : proceedings / by: (Language materials, printed)

Recent trends in algebraic development techniques = 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016 : revised selected papers / by: (Language materials, printed)

Designing reliable distributed systems = a formal methods approach based on executable modeling in Maude / by: (Language materials, printed)

Concise guide to formal methods = theory, fundamentals and industry applications / by: (Language materials, printed)

Formal modeling and analysis of timed systems = 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017 : proceedings / by: (Language materials, printed)

Software engineering and formal methods = 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017 : proceedings / by: (Language materials, printed)

Computer performance engineering = 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017 : proceedings / by: (Language materials, printed)

Critical systems = formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017 : proceedings / by: (Language materials, printed)

Runtime verification = 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017 : proceedings / by: (Language materials, printed)

Formal aspects of component software = 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017 : proceedings / by: (Language materials, printed)

NASA formal methods = 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018 : proceedings / by: (Language materials, printed)

Theory and applications of formal argumentation = 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017 : revised selected papers / by: (Language materials, printed)

Structured object-oriented formal language and method = 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017 : revised selected papers / by: (Language materials, printed)

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 / by: (Language materials, printed)

Formal methods = 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018 : proceedings / by: (Language materials, printed)

Descriptional complexity of formal systems = 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018 : proceedings / by: (Language materials, printed)

Integrated formal methods = 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018 : proceedings / by: (Language materials, printed)

Formal modeling and analysis of timed systems = 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018 : proceedings / by: (Language materials, printed)

Formal methods for industrial critical systems = 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018 : proceedings / by: (Language materials, printed)

Formal Aspects of Component Software = 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018 : proceedings / by: (Language materials, printed)

Symposium on real-time and hybrid systems = essays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday / by: (Language materials, printed)

Leveraging applications of formal methods, verification and validation = modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.. Part II / by: (Language materials, printed)

Leveraging applications of formal methods, verification and validation = modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.. Part III / by: (Language materials, printed)

Leveraging applications of formal methods, verification and validation = modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.. Part IV / by: (Language materials, printed)

Formal methods for nonmonotonic and related logics.. Vol II,. Theory revision, inheritance, and various abstract properties by: (Language materials, printed)

Formal methods for nonmonotonic and related logics.. Vol I:,. Preference and size by: (Language materials, printed)

Formal methods and software engineering = 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018 : proceedings / by: (Language materials, printed)

Leveraging applications of formal methods, verification and validation = modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.. Part I / by: (Language materials, printed)

Runtime verification = 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018 : proceedings / by: (Language materials, printed)

ModelEd, testEd, trustEd = essays dedicated to Ed Brinksma on the occasion of his 60th birthday / by: (Language materials, printed)

NASA formal methods = 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017 : proceedings / by: (Language materials, printed)

Formal concept analysis = 14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017 : proceedings / by: (Language materials, printed)

Formal techniques for distributed objects, components, and systems = 37th IFIP WG 6.1 International Conference, FORTE 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchatel, Switzerland, June 19-22, 2017 : proceedings / by: (Language materials, printed)

Integrated formal methods = 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017 : proceedings / by: (Language materials, printed)

NASA formal methods = 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019 : proceedings / by: (Language materials, printed)

Formal techniques for distributed objects, components, and systems = 39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019 : proceedings / by: (Language materials, printed)

Recent trends in algebraic development techniques = 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018 : revised selected papers / by: (Language materials, printed)

Formal methods = an appetizer / by: (Language materials, printed)

Formal methods in computer-aided design = 5th international confrence [i.e. conference], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings / by: (Language materials, printed)

Formal techniques for safety-critical systems = 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016 : revised selected papers / by: (Language materials, printed)

Java software development with event B : = a practical guide / by: (Language materials, printed)

Dependable software engineering = theories, tools, and applications : 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022 : proceedings / by: (Language materials, printed)

Software verification and formal methods for ML-enabled autonomous systems = 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022 : proceedings / by: (Language materials, printed)

Formal techniques for distributed objects, components, and systems = 43rd IFIP WG 6.1 International Conference, FORTE 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023 : proceedings / by: (Language materials, printed)

Formal methods for industrial critical systems = 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022 : proceedings / by: (Language materials, printed)

Descriptional complexity of formal systems = 24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29-31, 2022 : proceedings / by: (Language materials, printed)

Formal modeling and analysis of timed systems = 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023 : proceedings / by: (Language materials, printed)

Applicable formal methods for safe industrial products = essays dedicated to Jan Peleska on the occasion of his 65th birthday / by: (Language materials, printed)

Formal methods for industrial critical systems = 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings / by: (Language materials, printed)

Runtime verification = 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023 : proceedings / by: (Language materials, printed)

Software engineering and formal methods = 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings / by: (Language materials, printed)

Formal methods for an informal world = ICTAC 2021 Summer School, virtual event, Astana, Kazakhstan, September 1-7, 2021 : tutorial lectures / by: (Language materials, printed)

Descriptional complexity of formal systems = 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023 : proceedings / by: (Language materials, printed)

Formal concept analysis = 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023 : proceedings / by: (Language materials, printed)

Theories of programming and formal methods = essays dedicated to Jifeng He on the occasion of his 80th birthday / by: (Language materials, printed)

Formal concept analysis = mathematical foundations / by: (Language materials, printed)

Formal methods teaching = 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024 : proceedings / by: (Language materials, printed)

Formal methods for industrial critical systems = 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024 : proceedings / by: (Language materials, printed)

Symbolic computation in software science = 10th international symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024 : proceedings / by: (Language materials, printed)

The application of formal methods = essays dedicated to Jim Woodcock on the occasion of his retirement / by: (Language materials, printed)

The practice of formal methods = essays in honour of Cliff Jones.. Part II / by: (Language materials, printed)

The practice of formal methods = essays in honour of Cliff Jones.. Part I / by: (Language materials, printed)

Design patterns formalization techniques by: (Language materials, printed)

Formal aspects of component software = 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024 : proceedings / by: (Language materials, printed)