Advances in formal methods.

Formal methods and testing : an outcome of the FORTEST network : revised selected papers /
Published: (2008)

Integrated formal methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings /
Published: (2002)

Rigorous methods for software construction and analysis : essays dedicated to Egon Börger on the occasion of his 60th birthday /
Published: (2009)

Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings /
Published: (1993)

Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings /
Published: (1999)

Software specification methods : an overview using a case study /
Published: (2001)

Modern formal methods and applications /
Published: (2006)

Formal aspects of security : first international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers /
Published: (2004)

Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, the Netherlands, July 3-7, 2000 : revised lectures /
Published: (2001)

Software specification methods /
Published: (2006)

Understanding formal methods /
by: Monin, Jean François, 1960-
Published: (2003)

Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings /
Published: (2004)

Proceedings /
Published: (2003)

Industrial-strength formal methods in practice /
Published: (1999)

Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 Workshops : The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings /
Published: (2004)

Formal methods for industrial critical systems : a survey of applications /
Published: (2013)

Formal methods for industrial critical systems : a survey of applications /
Published: (2013)

Formal methods : foundations and applications ; 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 ; revised selected papers /
Published: (2009)

Formal methods applied to complex systems : implementation of the B Method /
Published: (2014)

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 /
Published: (2004)

Formal methods and object technology /
Published: (1996)

Structures de données et méthodes formelles /
by: Guyomard, Marc
Published: (2011)

Integrated formal methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings /
Published: (2002)

Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings /
Published: (2000)

Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 ; proceedings /
Published: (2004)

Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29--December 2, 2005 : proceedings /
Published: (2005)

Formal methods in human-computer interaction /
Published: (1998)

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

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

Leveraging applications of formal methods : first international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004 : revised selected papers /
Published: (2006)

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

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

Agent technology from a formal perspective /
Published: (2005)

Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings /
Published: (2005)

Specification of software systems /
by: Alagar, Vangalur S., 1940-
Published: (2011)

Formal modeling : actors, open systems, biological systems ; essays dedicated to Carolyn Talcott on the occasion of her 70th birthday /
Published: (2011)