Call Number (LC) Title Results
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
QA76.9.F67 N45 2016eb NASA formal methods : 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings / 1
QA76.9.F67 N45 2019 Formal methods : an appetizer /
NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings / 		2
QA76.9.F67 N45 2020eb NASA Formal Methods 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings / 1
QA76.9.F67 N46 2011 NASA formal methods third international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 : proceedings / 1
QA76.9.F67 N46 2012 NASA formal methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings / 1
QA76.9.F67 N46 2013 NASA formal methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings / 1
QA76.9.F67 N57 1999 Formal specification : techniques and applications / 1
QA76.9.F67 R546 2009 Rigorous methods for software construction and analysis essays dedicated to Egon Börger on the occasion of his 60th birthday / 1
QA76.9.F67 R87 2022 Formal verification of floating-point hardware design : a mathematical approach / 1
QA76.9.F67 R9 2007eb Runtime verification 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers / 1