Call Number (LC) Title Results
QA76.9.F67 I584 2009 Formal methods and software engineering 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 ; proceedings / 1
QA76.9.F67 I586 2006 Formal methods for hardware verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures / 2
QA76.9.F67 I586 2007eb Formal methods for performance evaluation 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, Bertinoro, Italy, May 28 - June 2, 2007 ; advanced lectures / 1
QA76.9.F67 I586 2008eb 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 / 1
QA76.9.F67 I59 1998 Applied formal methods--FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings / 2
QA76.9.F67 I59 2009 Formal methods for industrial critical systems 14th international workshop, FMICS 2009, Eindhoven, the Netherlands, November 2-3, 2009 : proceedings / 1
QA76.9.F67 I594 2006 Formal methods applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers / 1
QA76.9.F67 I594 2006eb Formal methods applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers / 1
QA76.9.F67 I594 2007eb Formal methods for industrial critical systems 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers / 1
QA76.9.F67 I78 2004 Leveraging applications of formal methods first international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004 : revised selected papers / 2
QA76.9.F67 I83 2020 Leveraging applications of formal methods, verification and validation : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings.
Leveraging applications of formal methods, verification and validation : tools and trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings. 		3
QA76.9.F67 I83 2020eb Leveraging applications of formal methods, verification and validation Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings. 1
QA76.9.F67 I83 2021eb Leveraging applications of formal methods, verification and validation 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings / 1
QA76.9.F67 I83 2022 Leveraging applications of formal methods, verification and validation : verification principles : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, proceedings.
Leveraging applications of formal methods, verification and validation : adaptation and learning : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, proceedings. 		4
QA76.9.F67 I86 2012eb 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.
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. 		2
QA76.9.F67 K38 2000 Computer-aided reasoning : an approach / 1
QA76.9.F67 M63 2006eb Modern formal methods and applications 1
QA76.9.F67 M63 2017 ModelEd, testEd, trustEd : essays dedicated to Ed Brinksma on the occasion of his 60th birthday / 1
QA76.9.F67 M64 2006 Modern formal methods and applications / 1
QA76.9.F67 N45 2015eb NASA formal methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings / 1