Computer software - Congresses. - Verification

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: (書目-電子資源)

Verification, model checking, and abstract interpretation = 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014 : proceedings / by: (書目-電子資源)

Verified software = theories, tools, experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : revised selected papers / by: (書目-電子資源)

Computer aided verification = 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014 : proceedings / by: (書目-電子資源)

Formal methods for industrial critical systems = 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014 : proceedings / by: (書目-電子資源)

Leveraging applications of formal methods, verification and validation = specialized techniques and applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 : proceedings.. Part II / by: (書目-電子資源)

Trustworthy global computing = 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014 : revised selected papers / by: (書目-電子資源)

Languages, design methods, and tools for electronic system design = selected contributions from FDL 2013 / by: (書目-電子資源)

E-Voting and identity = 5th International Conference, VoteID 2015, Bern, Switzerland, September 2-4, 2015 : proceedings / by: (書目-電子資源)

Runtime verification = 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings / by: (書目-電子資源)

Theory and applications of satisfiability testing - SAT 2015 = 18th International Conference, Austin, TX, USA, September 24-27, 2015 : proceedings / by: (書目-電子資源)

Verified software = theories, tools, and experiments : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 : revised selected papers / by: (書目-電子資源)

Dependable software systems engineering by: (書目-電子資源)

Theory and applications of satisfiability testing - SAT 2016 = 19th International Conference, Bordeaux, France, July 5-8, 2016 : proceedings / by: (書目-電子資源)

Tests and proofs = 10th International Conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016 : proceedings / by: (書目-電子資源)

Type systems for distributed programs = components and sessions / by: (書目-電子資源)

NASA formal methods = third international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 : proceedings / by: (書目-電子資源)

Model checking and artificial intelligence = 6th international workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010 : revised selected and invited papers / by: (書目-電子資源)

Formal verification of object-oriented software = international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers / by: (書目-電子資源)

Verification, model checking, and abstract interpretation = 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings / by: (書目-電子資源)

Hardware and software: verification and testing = 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers / by: (書目-電子資源)

Verified software = theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings / by: (書目-電子資源)

Verification, model checking, and abstract = 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012 : proceedings / by: (書目-電子資源)

New trends in software methodologies, tools and techniques = proceedings of the tenth SoMeT_11 / by: (書目-語言資料,印刷品)

Software and systems safety = specification and verification / by: (書目-語言資料,印刷品)

Tests and proofs = 6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / by: (書目-電子資源)

Model checking software = 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012 : proceedings / by: (書目-電子資源)

Formal verification of object-oriented software = international conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011 : revised selected papers / by: (書目-電子資源)

Formal methods and software engineering = 14th international conference on formal engineering methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings / by: (書目-電子資源)

Certified programs and proofs = second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings / by: (書目-電子資源)

Runtime verification = 8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : selected papers / by: (書目-電子資源)

Tools for practical software verification = LASER, International Summer School 2011, Elba Island, Italy : revised tutorial lectures / by: (書目-電子資源)

Software safety and security = tools for analysis and verification / by: (書目-電子資源)

Trustworthy global computing = 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013 : revised selected papers / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems = 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings / by: (書目-電子資源)

Tests and proofs = 8th International Conference, TAP 2014, held as Part of STAF 2014, York, UK, July 24-25, 2014 : proceedings / by: (書目-電子資源)

Theory and applications of satisfiability testing - SAT 2014 = 17th International Conference, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings / by: (書目-電子資源)

Engineering dependable software systems by: (書目-電子資源)

Runtime verification = 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014 : proceedings / by: (書目-電子資源)

Leveraging applications of formal methods, verification and validation = technologies for mastering change : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 : proceedings.. Part I / by: (書目-電子資源)

Verified software = theories, tools and experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014 : revised selected papers / by: (書目-電子資源)

Verification, model checking, and abstract interpretation = 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems = 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015 : proceedings / by: (書目-電子資源)

Formal methods for industrial critical systems = 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 : proceedings / by: (書目-電子資源)

Tests and proofs = 9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015 : proceedings / by: (書目-電子資源)

Computer aided verification = 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.. Part II / by: (書目-電子資源)

Computer aided verification = 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.. Part I / by: (書目-電子資源)

Model checking software = 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015 : proceedings / by: (書目-電子資源)

Verification, model checking, and abstract interpretation = 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings / by: (書目-電子資源)

Languages, design methods, and tools for electronic system design = selected contributions from FDL 2014 / by: (書目-電子資源)

Trustworthy global computing = 10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 : revised selected papers / by: (書目-電子資源)

Model checking software = 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016 : proceedings / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems = 22nd International Conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings / by: (書目-電子資源)

Languages, design methods, and tools for electronic system design = selected contributions from FDL 2015 / by: (書目-電子資源)

Computer aided verification = 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016 : proceedings.. Part I / by: (書目-電子資源)

Computer aided verification = 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016 : proceedings.. Part II / by: (書目-電子資源)