Formal methods (Computer science)

Web Services and Formal MethodsThird International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings / by: (Electronic resources)

Formal Modeling and Analysis of Timed Systems (vol. # 4202)4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings / by: (Electronic resources)

Formal Techniques for Networked and Distributed Systems - FORTE 200626th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings / by: (Electronic resources)

Formal Methods and Software Engineering (vol. # 4260)8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings / by: (Electronic resources)

Rigorous Engineering of Fault-Tolerant Systems by: (Electronic resources)

Leveraging Applications of Formal MethodsFirst International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers / by: (Electronic resources)

Formal Approaches to Software Testing and Runtime VerificationFirst Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers / by: (Electronic resources)

Formal Methods in Software and Systems ModelingEssays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday / by: (Electronic resources)

Formal Approaches to Software Testing4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers / by: (Electronic resources)

Formal Methods for Mobile Computing5th 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: (Electronic resources)

FM 2005: Formal MethodsInternational Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings / by: (Electronic resources)

Formal Techniques for Computer Systems and Business ProcessesEuropean 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: (Electronic resources)

Formal Methods for Components and Objects :Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures by: (Electronic resources)

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

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

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

Formal Modeling and Analysis of Timed Systems :Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings by: (Electronic resources)

Secure Transaction Protocol AnalysisModels and Applications / by: (Electronic resources)

Design patterns formalization techniques by: (Electronic resources)

Formal modeling and analysis of timed systems6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : proceedings / by: (Language materials, printed)

Formal methods for components and objects6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-27, 2007 ; revised papers / by: (Language materials, printed)

Integrated formal methods7th international conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009 ; Proceedings / by: (Electronic resources)

FME 2003formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings / by: (Electronic resources)

Formal aspects of securityfirst international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers / by: (Electronic resources)

Formal methods and software engineering5th International Conference on Formal Engineering Methods, ISFEM 2003, Singapore, November 5-7, 2003 : proceedings / by: (Electronic resources)

Formal methods for components and objectsfirst international symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures / by: (Electronic resources)

Formal methods for software architecturesThird 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: (Electronic resources)

Formal techniques for networked and distributed systems, FORTE 200323rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings / by: (Electronic resources)

Integrated formal methods4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings / by: (Electronic resources)

Applying formal methodstesting, performance, and M/E-commerce : FORTE 2004 workshops, TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings / by: (Electronic resources)

Formal approaches to software testingThird International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers / by: (Electronic resources)

Formal methods and software engineering6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings / by: (Electronic resources)

Formal methods for components and objectssecond international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures / by: (Electronic resources)

Formal methods for the design of real-time systemsInternational 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: (Electronic resources)

Formal methods in computer-aided design5th international confrence [i.e. conference], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings / by: (Electronic resources)

Formal modeling and analysis of timed systemsfirst international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 : revised papers / by: (Electronic resources)

Formal techniques for networked and distributed systems - FORTE 200424th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings / by: (Electronic resources)

Formal techniques, modelling and analysis of timed and fault-tolerant systemsjoint 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: (Electronic resources)

From object-orientation to formal methodsessays in memory of Ole-Johan Dahl / by: (Electronic resources)

Web services and formal methods5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008 ; revised selected papers / by: (Electronic resources)

Formal aspects in security and trust5th international workshop, FAST 2008, Malaga, Spain, October 9-10, 2008 ; revised selected papers / by: (Electronic resources)

Formal methods for web services9th 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: (Electronic resources)

Formal techniques for distributed systemsJoint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 : proceedings / by: (Electronic resources)

Computer performance engineering6th European Performance Engineering Workshop, EPEW 2009, London, UK, July 9-10, 2009 ; proceedings / by: (Electronic resources)

Language engineering and rigorous software developmentInternational LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 : revised tutorial lectures / by: (Electronic resources)

Formal methods for industrial critical systems13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers / by: (Electronic resources)

Theoretical aspects of computing - ICTAC 20096th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings / by: (Electronic resources)

Algebraic informaticsthird international conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009 : proceedings / by: (Electronic resources)

Formal Methods for Components and Objects7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures / by: (Electronic resources)

Foundations and applications of security analysisJoint 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: (Electronic resources)

Formal modeling and analysis of timed systems7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings / by: (Electronic resources)

Runtime verification9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers / by: (Electronic resources)

Teaching formal methodssecond international conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings / by: (Electronic resources)

Formal methods for industrial critical systems14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 : proceedings / by: (Electronic resources)

FM 2009formal methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings / by: (Electronic resources)

Formal methods and software engineering11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings / by: (Electronic resources)

Formal methodsfoundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : revised selected papers / by: (Electronic resources)

Rigorous methods for software construction and analysisessays dedicated to Egon Borger on the occasion of his 60th birthday / by: (Electronic resources)

Formal hardware verificationmethods and systems in comparison / by: (Electronic resources)

Formal methods in computer-aided designsecond international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings / by: (Electronic resources)

Applied formal methods - FM-Trends 98International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings / by: (Electronic resources)

FM'99 - formal methodsWorld Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings.Volume I / by: (Electronic resources)

FM'99 - formal methodsWorld Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings.Volume II / by: (Electronic resources)

Formal methods for real-time and probabilistic systems5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings / by: (Electronic resources)

Challenges for action theories by: (Electronic resources)

Integrated formal methodssecond international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings / by: (Electronic resources)

Lectures on formal methods and performance analysisfirst EEF Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures / by: (Electronic resources)

FME 2002formal methods - getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings / by: (Electronic resources)

Formal methods and software engineering4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings / by: (Electronic resources)

Formal methods in computer-aided design4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings / by: (Electronic resources)

Formal techniques for networked and distributed systemsFORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea / by: (Electronic resources)

Formal techniques for networked and distributed systems - FORTE 200222nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings / by: (Electronic resources)

Integrated formal methodsThird International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings / by: (Electronic resources)

Formal techniques for distributed systemsJjoint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010 : proceedings / by: (Electronic resources)

Formal methods for quantitative aspects of programming languages10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 : advanced lectures / by: (Electronic resources)

Tests and proofs4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 : proceedings / by: (Electronic resources)

Formal methodsstate of the art and new directions / by: (Electronic resources)

Logic, language, information and computation17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 : proceedings / by: (Electronic resources)

Formal aspects in security and trust6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009 revised selected papers / by: (Electronic resources)

Scalable techniques for formal verification by: (Electronic resources)

Fields of logic and computationessays dedicated to Yuri Gurevich on the occasion of his 70th birthday / by: (Electronic resources)

Web services and formal methods6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, revised selected papers / by: (Electronic resources)

Finite-state methods and natural language processing8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, revised selected papers / by: (Electronic resources)

Theoretical aspects of computing - ICTAC 20107th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, proceedings / by: (Electronic resources)

Computer performance engineering7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, proceedings / by: (Electronic resources)

Formal modeling and analysis of timed systems8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, proceedings / by: (Electronic resources)

Formal methods for industrial critical systems15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, proceedings / by: (Electronic resources)

Integrated formal methods8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings / by: (Electronic resources)

Formal methods for components and objects8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009, revised selected papers / by: (Electronic resources)

Formal methods and software engineering12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, proceedings / by: (Electronic resources)

Runtime verificationFirst International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010, proceedings / by: (Electronic resources)

Formal verification of object-oriented softwareinternational conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers / by: (Electronic resources)

Formal aspects of security and trust7th international workshop, FAST 2010, Pisa, Italy, September 16-17, 2010 : revised selected papers / by: (Electronic resources)

FORMS/FORMAT 2010formal methods for automation and safety in railway and automotive systems / by: (Electronic resources)

Formal methodsfoundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers / by: (Electronic resources)

Web services and formal methods7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010 : revised selected papers / by: (Electronic resources)

Formal grammar14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009 : revised selected papers / by: (Electronic resources)

Specification of software systems by: (Electronic resources)

NASA formal methodsthird international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 : proceedings / by: (Electronic resources)

Formal concept analysis9th international conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011 : proceedings / by: (Electronic resources)

Formal techniques for distributed systemsjoint 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: (Electronic resources)

Formal methods for eternal networked software systems11th 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: (Electronic resources)

FM 2011formal methods : 17th international symposium on formal methods, Limerick, Ireland, June 20-24, 2011 : proceedings / by: (Electronic resources)

Tests and proofs5th international conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings / by: (Electronic resources)

Descriptional complexity of formal systems13th international workshop, DCFS 2011, Giessen/Limburg, Germany, July 25-27, 2011 : proceedings / by: (Electronic resources)

Formal methods for industrial critical systems16th international workshop, FMICS 2011, Trento, Italy, August 29-30, 2011 : proceedings / by: (Electronic resources)

Formal development of a network-centric RTOSsoftware engineering for reliable embedded systems / by: (Electronic resources)

Formal ontology in information systemsproceedings of the sixth international conference (FOIS 2010) / by: (Electronic resources)

Formal modeling and analysis of timed systems9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 : proceedings / by: (Electronic resources)

Software engineering and formal methods9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings / by: (Electronic resources)

Formal modelingactors, open systems, biological systems : essays dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday / by: (Electronic resources)

Formal methods and software engineering13th international conference on formal engineering methods, ICFEM 2011, Durham, UK, October 26-28, 2011 : proceedings / by: (Electronic resources)

Formal methods, foundations and applications14th Brazilian Symposium, SBMF 2011, Sao Paulo, Brazil, September 26-30, 2011 : revised selected papers / by: (Electronic resources)

Computer performance engineering8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011 : proceedings / by: (Electronic resources)

System specification and design languagesselected contributions from FDL 2010 / by: (Electronic resources)

Formal aspects of component software7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers / by: (Electronic resources)

Foundations of algebraic specification and formal software development by: (Electronic resources)

Transactions on computational science XVspecial issue on advances in autonomic computing : formal engineering methods for nature-inspired computing systems / by: (Electronic resources)

NASA formal methods4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings / by: (Electronic resources)

Theory and applications of formal argumentationfirst International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011 : revised selected papers / by: (Electronic resources)

Web services and formal methods8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011 : revised selected papers / by: (Electronic resources)

Fuzzy computational ontologies in contextsformal models of knowledge representation with membership degree and typicality of objects, and their applications / by: (Electronic resources)

The correctness-by-construction approach to programming by: (Electronic resources)

Runtime verificationsecond International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers / by: (Electronic resources)

Tests and proofs6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / by: (Electronic resources)

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

Integrated formal methods9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings / by: (Electronic resources)

Formal techniques for distributed systemsJoint 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: (Electronic resources)

Abstract state machines, Alloy, B, VDM, and Zthird International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012 : proceedings / by: (Electronic resources)

Formal methods for model-driven engineering12th 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: (Electronic resources)

Descriptional complexity of formal systems14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012 : proceedings / by: (Electronic resources)

Languages aliveessays dedicated to Jurgen Dassow on the occasion of his 65th birthday / by: (Electronic resources)

Formal verification of object-oriented softwareinternational conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011 : revised selected papers / by: (Electronic resources)

Formal methods for industrial critical systems17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings / by: (Electronic resources)

FM 2012formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings / by: (Electronic resources)

Formal modeling and analysis of timed systems10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012 : proceedings / by: (Electronic resources)

Constructing correct software by: (Electronic resources)

Formal methods: Foundations and applications15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012 : proceedings / by: (Electronic resources)

Computer safety, reliability, and security31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012 : proceedings / by: (Electronic resources)

Software engineering and formal methods10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012 : proceedings / by: (Electronic resources)

Leveraging applications of formal methods, verification and validation. Technologies for mastering change5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings.Part I / by: (Electronic resources)

Leveraging applications of formal methods, verification and validation. Applications and case studies5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings.Part II / by: (Electronic resources)

Formal methods and software engineering14th international conference on formal engineering methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings / by: (Electronic resources)

Certified programs and proofssecond international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings / by: (Electronic resources)

Formal methods and software engineering10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings / by: (Electronic resources)

Formal aspects of component software8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers / by: (Electronic resources)

Teamwork in multi-agent systemsa formal approach / by: (Electronic resources)

Formal ontology in information systemsproceedings of the seventh International Conference (FOIS 2012) / by: (Electronic resources)

A pragmatic introduction to the finite element method for thermal and stress analysis :with the matlab toolkit SOFEA / by: (Language materials, printed)

Structured object-oriented formal language and methodthird International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers / by: (Electronic resources)

Theory and applications of formal argumentationsecond International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013 : revised selected papers / by: (Electronic resources)

Software Engineering and Formal MethodsSEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013 : revised selected papers / by: (Electronic resources)

Formal techniques for safety-critical systemssecond international workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013 : revised selected papers / by: (Electronic resources)

NASA formal methods6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014 : proceedings / by: (Electronic resources)

FM 2014Formal methods : 19th International Symposium, Singapore, May 12-16, 2014 : proceedings / by: (Electronic resources)

ABZ 2014the 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 / by: (Electronic resources)

Formal methods for executable software models14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014 : advanced lectures / by: (Electronic resources)

Formal techniques for distributed objects, components, and systems34th IFIP WG 6.1 International Conference, FORTE 2014, held as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014 : proceedings / by: (Electronic resources)

Formal concept analysis12th International conference, ICFCA 2014, Cluj-Napoca, Romania, June 10-13, 2014 : proceedings / by: (Electronic resources)

Formal aspects of component software10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013 : revised selected papers / by: (Electronic resources)

Web services and formal methods10th International Workshop, WS-FM 2013, Beijing, China, August 2013 : revised selected papers / by: (Electronic resources)

Descriptional complexity of formal systems16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014 : proceedings / by: (Electronic resources)

Formal grammar19th International Conference, FG 2014, Tubingen, Germany, August 16-17, 2014 : proceedings / by: (Electronic resources)

Integrated formal methods11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014 : proceedings / by: (Electronic resources)

Software engineering and formal methods12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : proceedings / by: (Electronic resources)

Formal modeling and analysis of timed systems12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 : proceedings / by: (Electronic resources)

Formal methods for industrial critical systems19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014 : proceedings / by: (Language materials, printed)

Computer performance engineering11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014 : proceedings / by: (Language materials, printed)

Runtime verification5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014 : proceedings / by: (Language materials, printed)

Leveraging applications of formal methods, verification and validationspecialized techniques and applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 : proceedings.Part II / by: (Language materials, printed)

Leveraging applications of formal methods, verification and validationtechnologies for mastering change : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 : proceedings.Part I / by: (Language materials, printed)

Formal methods and software engineering16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014 : proceedings / by: (Electronic resources)

Languages, design methods, and tools for electronic system designselected contributions from FDL 2013 / by: (Electronic resources)

Formal methodsfoundations and applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29 - October 1, 2014 : proceedings / by: (Electronic resources)

Software engineering and formal methodsSEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014 : revised selected papers / by: (Electronic resources)

Formal aspects of component software11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014 : revised selected papers / by: (Electronic resources)

Formal techniques for safety-critical systemsthird International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014 : revised selected papers / by: (Electronic resources)

Structured object-oriented formal language and method4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014 : revised selected papers / by: (Electronic resources)

NASA formal methods7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015 : proceedings / by: (Electronic resources)

Formal methods for industrial critical systemsa survey of applications / by: (Electronic resources)

Formal methods applied to complex systemsimplementation of the B Method / by: (Electronic resources)

Formal methods applied to industrial complex systems by: (Electronic resources)

Industrial used of formal methodformal verification / by: (Electronic resources)

Formal methodsindustrial use from model to the code / by: (Electronic resources)

Formal methods for multicore programming15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015 : advanced lectures / by: (Electronic resources)

Formal techniques for distributed objects, components, and systems35th IFIP WG 6.1 International Conference, FORTE 2015, held as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015 : proceedings / by: (Electronic resources)

FM 2015formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015 : proceedings / by: (Electronic resources)

Formal methods for industrial critical systems20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 : proceedings / by: (Electronic resources)

Formal concept analysis13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015 : proceedings / by: (Electronic resources)

Formal modeling and verification of cyber-physical systems1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 / by: (Electronic resources)

Descriptional complexity of formal systems17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015 : proceedings / by: (Electronic resources)

Software engineering and formal methods13th International Conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings / by: (Electronic resources)

Formal Modeling and Analysis of Timed Systems13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015 : proceedings / by: (Electronic resources)

Computer performance engineering12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015 : proceedings / by: (Electronic resources)

Correct system designsymposium in honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015 : proceedings / by: (Electronic resources)

Runtime verification6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings / by: (Electronic resources)

Formal methods and software engineering17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings / by: (Electronic resources)

Recent trends in algebraic development techniques22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers / by: (Electronic resources)

Theory and applications of formal argumentationthird International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015 : revised selected papers / by: (Electronic resources)

Software engineering and formal methodsSEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015 : revised selected papers / by: (Electronic resources)

Languages, design methods, and tools for electronic system designselected contributions from FDL 2014 / by: (Electronic resources)

Formal aspects of component software12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015 : revised selected papers / by: (Electronic resources)

Formal techniques for safety-critical systems4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015 : revised selected papers / by: (Electronic resources)

Complete symbolic simulation of SystemC modelsefficient formal verification of finite non-terminating programs / by: (Electronic resources)

Formal methods: foundations and applications18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015 : proceedings / by: (Electronic resources)

Theory and practice of formal methodsessays dedicated to Frank de Boer on the occasion of his 60th birthday / by: (Electronic resources)

Structured object-oriented formal language and method5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 : revised selected papers / by: (Electronic resources)

Web services, formal methods, and behavioral types11th 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: (Electronic resources)

Integrated formal methods12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings / by: (Electronic resources)

Formal techniques for distributed objects components, and systems36th 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: (Electronic resources)

Languages, design methods, and tools for electronic system designselected contributions from FDL 2015 / by: (Electronic resources)

Formal methods for the quantitative evaluation of collective adaptive systems16th 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: (Electronic resources)

NASA formal methods8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016 : proceedings / by: (Electronic resources)

Software engineering and formal methods14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016 : proceedings / by: (Electronic resources)

Formal modeling and analysis of timed systems14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016 : proceedings / by: (Electronic resources)

Critical systemsformal 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: (Electronic resources)

Computer performance engineering13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016 : proceedings / by: (Electronic resources)

Runtime verification16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016 : proceedings / by: (Electronic resources)

Subjective logica formalism for reasoning under uncertainty / by: (Electronic resources)

Leveraging applications of formal methods, verification and validationfoundational techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.Part I / by: (Electronic resources)

Leveraging applications of formal methods, verification and validationdiscussion, dissemination, applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.Part II / by: (Electronic resources)

Formal methods and software engineering18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings / by: (Electronic resources)

FM 2016formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016 : proceedings / by: (Electronic resources)

Formal methodsfoundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016 : proceedings / by: (Electronic resources)

Leveraging applications of formal methods, verification, and validation6th 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: (Electronic resources)

Formal techniques for safety-critical systems5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016 : revised selected papers / by: (Electronic resources)

The handbook of formal methods in human-computer interaction by: (Electronic resources)

Formal aspects of component software13th International Conference, FACS 2016, Besancon, France, October 19-21, 2016 : revised selected papers / by: (Electronic resources)

Structured object-oriented formal language and method6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016 : revised selected papers / by: (Electronic resources)

Descriptional complexity of formal systems19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017 : proceedings / by: (Electronic resources)

Concise guide to formal methodstheory, fundamentals and industry applications / by: (Electronic resources)

Formal modeling and analysis of timed systems15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017 : proceedings / by: (Electronic resources)

Software engineering and formal methods15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017 : proceedings / by: (Electronic resources)

Computer performance engineering14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017 : proceedings / by: (Electronic resources)

Critical systemsformal 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: (Electronic resources)

Runtime verification17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017 : proceedings / by: (Electronic resources)

Formal aspects of component software14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017 : proceedings / by: (Electronic resources)

Formal methods and software engineering19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017 : proceedings / by: (Electronic resources)

Formal concept analysis of social networks by: (Electronic resources)

Formal methodsfoundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017 : proceedings / by: (Electronic resources)

Recent trends in algebraic development techniques23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016 : revised selected papers / by: (Electronic resources)

Designing reliable distributed systemsa formal methods approach based on executable modeling in Maude / by: (Electronic resources)

Languages, design methods, and tools for electronic system designselected contributions from FDL 2016 / by: (Electronic resources)

Formal methods for safety and securitycase studies for aerospace applications / by: (Electronic resources)

Software engineering and formal methodsSEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017 : revised selected papers / by: (Electronic resources)

NASA formal methods10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018 : proceedings / by: (Electronic resources)

Theory and applications of formal argumentation4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017 : revised selected papers / by: (Electronic resources)

Structured object-oriented formal language and method7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017 : revised selected papers / by: (Electronic resources)

Formal Techniques for Distributed Objects, Components, and Systems38th 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: (Electronic resources)

Formal methods22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018 : proceedings / by: (Electronic resources)

Descriptional complexity of formal systems20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018 : proceedings / by: (Electronic resources)

Integrated formal methods14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018 : proceedings / by: (Electronic resources)

Formal modeling and analysis of timed systems16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018 : proceedings / by: (Electronic resources)

Formal methods for industrial critical systems23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018 : proceedings / by: (Electronic resources)

Formal Aspects of Component Software15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018 : proceedings / by: (Electronic resources)

Symposium on real-time and hybrid systemsessays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday / by: (Electronic resources)

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

Formal methods for nonmonotonic and related logics.Vol I:,Preference and size by: (Electronic resources)

Formal methods and software engineering20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018 : proceedings / by: (Electronic resources)

Leveraging applications of formal methods, verification and validationmodeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.Part I / by: (Electronic resources)

Leveraging applications of formal methods, verification and validationmodeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.Part II / by: (Electronic resources)

Leveraging applications of formal methods, verification and validationmodeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.Part III / by: (Electronic resources)

Leveraging applications of formal methods, verification and validationmodeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.Part IV / by: (Electronic resources)

Runtime verification18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018 : proceedings / by: (Electronic resources)

Descriptional complexity of formal systems18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016 : proceedings / by: (Electronic resources)

Formal techniques for safety-critical systems6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018 : revised selected papers / by: (Electronic resources)

Formal verification of floating-point hardware designa mathematical approach / by: (Electronic resources)

Formal concept analysis14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017 : proceedings / by: (Electronic resources)

Formal techniques for distributed objects, components, and systems37th 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: (Electronic resources)

Integrated formal methods13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017 : proceedings / by: (Electronic resources)

ModelEd, testEd, trustEdessays dedicated to Ed Brinksma on the occasion of his 60th birthday / by: (Electronic resources)

NASA formal methods9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017 : proceedings / by: (Electronic resources)

NASA formal methods11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019 : proceedings / by: (Electronic resources)

Formal techniques for distributed objects, components, and systems39th 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: (Electronic resources)

Recent trends in algebraic development techniques24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018 : revised selected papers / by: (Electronic resources)

Formal methodsan appetizer / by: (Electronic resources)

Formal methods - the next 30 yearsthird World Congress, FM 2019, Porto, Portugal, October 7-11, 2019 : proceedings / by: (Electronic resources)

Formal methods teachingthird 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 / by: (Electronic resources)

Formal methods and software engineering21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019 : proceedings / by: (Electronic resources)

Runtime verification19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019 : proceedings / by: (Electronic resources)

From software engineering to formal methods and tools, and backessays dedicated to Stefania Gnesi on the occasion of her 65th Birthday / by: (Electronic resources)

Formal methodsfoundations and applications : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018 : proceedings / by: (Electronic resources)

It's all about coordinationessays to celebrate the lifelong scientific achievements of Farhad Arbab / by: (Electronic resources)

Software engineering and formal methods16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018 : proceedings / by: (Electronic resources)

Integrated formal methods15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019 : proceedings / by: (Electronic resources)

Formal techniques for safety-critical systems7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019 : revised selected papers / by: (Electronic resources)

Formal aspects of component software16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019 : proceedings / by: (Electronic resources)

Structured object-oriented formal language and method9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019 : revised selected papers / by: (Electronic resources)

Languages, design methods, and tools for electronic system designselected contributions from FDL 2018 / by: (Electronic resources)

Formal techniques for distributed objects, components, and systems40th IFIP WG 6.1 International Conference, FORTE 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020 : proceedings / by: (Electronic resources)

Formal methodsFM 2019 International Workshops : Porto, Portugal, October 7-11, 2019 : revised selected papers.Part II / by: (Electronic resources)

NASA formal methods12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020 : proceedings / by: (Electronic resources)

Formal modeling and analysis of timed systems18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020 : proceedings / by: (Electronic resources)

Formal methodsFM 2019 International Workshops : Porto, Portugal, October 7-11, 2019 : revised selected papers.Part I / by: (Electronic resources)

Formal methods for industrial critical systems25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020 : proceedings / by: (Electronic resources)

Software engineering and formal methodsSEFM 2019 collocated workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019 : revised selected papers / by: (Electronic resources)

Software engineering and formal methods18th International Conference, SEFM 2020, Amsterdam, the Netherlands, September 14-18, 2020 : proceedings / by: (Electronic resources)

Runtime verification20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020 : proceedings / by: (Electronic resources)

Descriptional complexity of formal systems21st IFIP WG 1.02 International Conference, DCFS 2019, Kosice, Slovakia, July 17-19, 2019 : proceedings / by: (Electronic resources)

Formal concept analysis15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25-28, 2019 : proceedings / by: (Electronic resources)

Formal methods for industrial critical systems24th International Conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings / by: (Electronic resources)

Formal modeling and analysis of timed systems17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019 : proceedings / by: (Electronic resources)

Software engineering and formal methods17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019 : proceedings / by: (Electronic resources)

Structured object-oriented formal language and method8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018 : revised selected papers / by: (Electronic resources)

Leveraging applications of formal methods, verification and validationapplications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings.Part III / by: (Electronic resources)

Leveraging applications of formal methods, verification and validationengineering principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings.Part II / by: (Electronic resources)

Leveraging applications of formal methods, verification and validationverification principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings.Part I / by: (Electronic resources)

Descriptional complexity of formal systems22nd International Conference, DCFS 2020, Vienna, Austria, August 24-26, 2020 : proceedings / by: (Electronic resources)

Dependable software engineeringtheories, tools, and applications : 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020 : proceedings / by: (Electronic resources)

Integrated formal methods16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020 : proceedings / by: (Electronic resources)

Formal methodsfoundations and applications : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020 : proceedings / by: (Electronic resources)

Software engineering and formal methodsSEFM 2020 collocated workshops : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, the Netherlands, September 14-15, 2020 : revised selected papers / by: (Electronic resources)

Formal methods in architectureproceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020 / by: (Electronic resources)

Recent trends in algebraic development techniques25th International Workshop, WADT 2020, virtual event, April 29, 2020 : revised selected papers / by: (Electronic resources)

NASA formal methods13th International Symposium, NFM 2021, virtual event, May 24-28, 2021 : proceedings / by: (Electronic resources)

Formal methods - fun for everybodyfirst International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019 : revised selected papers / by: (Electronic resources)

From data to models and back9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020 : revised selected papers / by: (Electronic resources)

Structured object-oriented formal language and method10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021 : revised selected papers / by: (Electronic resources)

Formal techniques for distributed objects, components, and systems41st IFIP WG 6.1 International Conference, FORTE 2021, held as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings / by: (Electronic resources)

Leveraging applications of formal methods, verification and validationtools and trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings.Part IV / by: (Electronic resources)

Formal modeling and analysis of timed systems19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021 : proceedings / by: (Electronic resources)

Formal methods for industrial critical systems26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021 : proceedings / by: (Electronic resources)

Runtime verification21st International Conference, RV 2021, virtual event, October 11-14, 2021 : proceedings / by: (Electronic resources)

Leveraging applications of formal methods, verification and validation10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021 : proceedings / by: (Electronic resources)

Descriptional complexity of formal systems23rd IFIP WG 1.02 International Conference, DCFS 2021, virtual event, September 5, 2021 : proceedings / by: (Electronic resources)

Composing model-based analysis tools by: (Electronic resources)

Formal aspects of component software17th International Conference, FACS 2021, virtual event, October 28-29, 2021 : proceedings / by: (Electronic resources)

Formal methods24th International Symposium, FM 2021, virtual event, November 20-26, 2021 : proceedings / by: (Electronic resources)

Formal methods teaching4th international workshop and tutorial, FMTea 2021 virtual event, November 21, 2021 : proceedings / by: (Electronic resources)

Formal methods: foundations and applications24th Brazilian Symposium, SBMF 2021, virtual event, December 6-10, 2021 : proceedings / by: (Electronic resources)

Model checking, synthesis, and learningessays dedicated to Bengt Jonsson on the occasion of his 60th birthday / by: (Electronic resources)

Software engineering and formal methods19th International Conference, SEFM 2021, virtual event, December 6-10, 2021 : proceedings / by: (Electronic resources)

Implicit and explicit semantics integration in proof-based developments of discrete systemscommunications of NII Shonan Meetings / by: (Electronic resources)

Formal methods in outer spaceessays dedicated to Klaus Havelund on the occasion of his 65th birthday / by: (Electronic resources)

Formal concept analysis16th International Conference, ICFCA 2021, Strasbourg, France, June 29 - July 2, 2021 : proceedings / by: (Electronic resources)

Formal analysis of future energy systems using interactive theorem proving by: (Electronic resources)

NASA formal methods14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022 : proceedings / by: (Electronic resources)

Integrated formal methods17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022 : proceedings / by: (Electronic resources)

Formal verification of floating-point hardware designa mathematical approach / by: (Electronic resources)

Complex data analytics with formal concept analysis by: (Electronic resources)

Formal techniques for distributed objects, components, and systems42nd IFIP WG 6.1 International Conference, FORTE 2022, held as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-18, 2022 : proceedings / by: (Electronic resources)

Formal modeling and analysis of timed systems20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022 : proceedings / by: (Electronic resources)

A journey from process algebra via timed automata to model learningessays dedicated to Frits Vaandrager on the occasion of his 60th birthday / by: (Electronic resources)

Software engineering and formal methods20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022 : proceedings / by: (Electronic resources)

Runtime verification22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022 : proceedings / by: (Electronic resources)

Software engineering and formal methodsSEFM 2021 collocated workshops : CIFMA, CoSim-CPS, OpenCERT, ASYDE, virtual event, December 6-10, 2021 : revised selected papers / by: (Electronic resources)

Formal methods and software engineering23rd International Conference on Formal Engineering Methods, ICFEM 2022, Spain, October 24-27, 2022 : proceedings / by: (Electronic resources)

Leveraging applications of formal methods, verification and validationsoftware engineering : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.Part II / by: (Electronic resources)

Leveraging applications of formal methods, verification and validationadaptation and learning : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.Part III / by: (Electronic resources)

Leveraging applications of formal methods, verification and validationpractice : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.Part IV / by: (Electronic resources)

Leveraging applications of formal methods, verification and validationverification principles : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.Part I / by: (Electronic resources)

Formal aspects of component software18th International Conference, FACS 2022, virtual event, November 10-11, 2022 : proceedings / by: (Electronic resources)

Formal methods: foundations and applications25th Brazilian Symposium, SBMF 2022, virtual event, December 6-9, 2022 : proceedings / by: (Electronic resources)

Dependable software engineeringtheories, tools, and applications : 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022 : proceedings / by: (Electronic resources)

Software verification and formal methods for ML-enabled autonomous systems5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022 : proceedings / by: (Electronic resources)

Formal analysis for natural language processinga handbook / by: (Electronic resources)

NASA formal methods15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023 : proceedings / by: (Electronic resources)

Formal methods teaching5th International Workshop, FMTea 2023, Lubeck, Germany, March 6, 2023 : proceedings / by: (Electronic resources)

Formal methods25th international symposium, FM 2023, Lubeck, Germany, March 6-10, 2023 : proceedings / by: (Electronic resources)

Structured object-oriented formal language and method11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022 : revised selected papers / by: (Electronic resources)

Formal methods for industrial critical systems27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022 : proceedings / by: (Electronic resources)

Descriptional complexity of formal systems24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29-31, 2022 : proceedings / by: (Electronic resources)

Formal techniques for distributed objects, components, and systems43rd 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: (Electronic resources)

Applicable formal methods for safe industrial productsessays dedicated to Jan Peleska on the occasion of his 65th birthday / by: (Electronic resources)

Formal modeling and analysis of timed systems21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023 : proceedings / by: (Electronic resources)

Formal methods in architectureproceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruna 2022 / by: (Electronic resources)

Formal methods for industrial critical systems28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings / by: (Electronic resources)

Runtime verification23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023 : proceedings / by: (Electronic resources)

Software engineering and formal methods21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings / by: (Electronic resources)

Formal methods for an informal worldICTAC 2021 Summer School, virtual event, Astana, Kazakhstan, September 1-7, 2021 : tutorial lectures / by: (Electronic resources)

Descriptional complexity of formal systems25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023 : proceedings / by: (Electronic resources)

Formal concept analysis17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023 : proceedings / by: (Electronic resources)

Formal techniques for distributed objects, components, and systems44th IFIP WG 6.1 International Conference, FORTE 2024, held as part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024 : proceedings / by: (Electronic resources)

NASA formal methods16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024 : proceedings / by: (Electronic resources)

Integrated formal methods18th International Conference, iFM 2023, Leiden, the Netherlands, November 13-15, 2023 : proceedings / by: (Electronic resources)

Formal methodsfoundations and applications : 26th Brazilian symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023 : proceedings / by: (Electronic resources)

Dependable software engineeringtheories, tools, and applications : 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023 : proceedings / by: (Electronic resources)

Theories of programming and formal methodsessays dedicated to Jifeng He on the occasion of his 80th birthday / by: (Electronic resources)

Formal aspects of component software19th International Conference, FACS 2023, virtual event, October 19-20, 2023 : revised selected papers / by: (Electronic resources)

Formal concept analysismathematical foundations / by: (Electronic resources)

Formal methods for industrial critical systems29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024 : proceedings / by: (Electronic resources)

Symbolic computation in software science10th international symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024 : proceedings / by: (Electronic resources)

The application of formal methodsessays dedicated to Jim Woodcock on the occasion of his retirement / by: (Electronic resources)

The practice of formal methodsessays in honour of Cliff Jones.Part II / by: (Electronic resources)

The practice of formal methodsessays in honour of Cliff Jones.Part I / by: (Electronic resources)

Formal methods teaching6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024 : proceedings / by: (Electronic resources)

Formal aspects of component software20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024 : proceedings / by: (Electronic resources)

Formal methods and software engineering25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024 : proceedings / by: (Electronic resources)

Formal methods26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024 : proceedings.Part I / by: (Electronic resources)

Formal methods26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024 : proceedings.Part II / by: (Electronic resources)

Leveraging applications of formal methods, verification and validationREoCAS Colloquium in Honor of Rocco De Nicola : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.Part I / by: (Electronic resources)

Runtime verification24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024 : proceedings / by: (Electronic resources)

Real time and suchessays dedicated to Wang Yi to celebrate his scientific career / by: (Electronic resources)

The combined power of research, education, and disseminationessays dedicated to Tiziana Margaria on the occasion of her 60th birthday / by: (Electronic resources)

Leveraging applications of formal methods, verification and validationsoftware engineering methodologies : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.Part IV / by: (Electronic resources)

Leveraging applications of formal methods, verification and validationrigorous engineering of collective adaptive systems : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.Part II / by: (Electronic resources)

Leveraging applications of formal methods, verification and validationapplication areas : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.Part V / by: (Electronic resources)

Leveraging applications of formal methods, verification and validationspecification and verification : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.Part III / by: (Electronic resources)

TOOLympics challenge 2023updates, results, successes of the formal-methods competitions / by: (Electronic resources)

Principles of verificationcycling the probabilistic landscape : essays dedicated to Joost-Pieter Katoen on the occasion of his 60th birthday.Part II / by: (Electronic resources)

Principles of verificationcycling the probabilistic landscape : essays dedicated to Joost-Pieter Katoen on the occasion of his 60th birthday.Part I / by: (Electronic resources)

Integrated formal methods19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024 : proceedings / by: (Electronic resources)

Principles of verification: cycling the probabilistic landscapeessays dedicated to Joost-Pieter Katoen on the occasion of his 60th birthday.Part III / by: (Electronic resources)

Dependable software engineeringtheories, tools, and applications : 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024 : proceedings / by: (Electronic resources)

Software engineering and formal methods22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024 : proceedings / by: (Electronic resources)

Formal methodsfoundations and applications : 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024 : proceedings / by: (Electronic resources)

Restarting automataextensions and generalizations / by: (Electronic resources)

Rebeca for actor analysis in actionessays dedicated to Marjan Sirjani on the occasion of her 60th birthda / by: (Electronic resources)

Versatile hardware analysis techniquesfrom waveform-based analysis to formal verification / by: (Electronic resources)

Nasa formal methods17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025 : proceedings / by: (Electronic resources)

Formal techniques for distributed objects, components, and systems45th 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: (Electronic resources)

Descriptional complexity of formal systems26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22-24, 2025 : proceedings / by: (Electronic resources)

Formal methods in architectureproceedings of the 7th International Symposium on Formal Methods in Architecture (7FMA), Porto 2024 / by: (Electronic resources)