Computer software -- Verification
Resource Information
The concept Computer software -- Verification represents the subject, aboutness, idea or notion of resources found in University of Missouri Libraries.
The Resource
Computer software -- Verification
Resource Information
The concept Computer software -- Verification represents the subject, aboutness, idea or notion of resources found in University of Missouri Libraries.
- Label
- Computer software -- Verification
- Authority link
- http://id.worldcat.org/fast/00872604
- Source
- fast
188 Items that share the Concept Computer software -- Verification
Context
Context of Computer software -- VerificationSubject of
No resources found
No enriched resources found
- 10th IEEE International Conference on Software Testing, Verification and Validation Workshops : ICSTW 2017 : proceedings : 13-17 March 2017, Tokyo, Japan
- 2007 IEEE International High Level Design Validation and Test Workshop : proceedings : November 7-9, 2007, Irvine, California
- 2008 IEEE International Conference on Software Testing, Verification, and Validation Workshop (ICSTW '08)
- 2008 IEEE International High-Level Design Validation and Test Workshop : proceedings : November 19-21, 2008, Incline Village, Nevada
- 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology
- 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation
- 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) : proceedings : 13-17 April 2015, Graz, Austria
- 2015 IEEE Eighth International Conference on Software Testing, Verification, and Validation Workshops (ICSTW) : proceedings : April 13-17, 2015, Graz, Austria
- 2016 1st IEEE International Verification and Security Workshop (IVSW) : 4-6 July 2016, Hotel Eden Roc, Sant Feliu de Guixols, Catalunya, Spain
- 2016 IEEE International Conference on Software Testing, Verification and Validation Workshops : proceedings : 10-15 April 2016, Chicago, Illinois
- 2017 2nd International Verification and Security Workshop (IVSW) : 3-5 July 2017, Makedonia Palace Hotel, Thessaloniki, Greece
- 2018 IEEE 11th International Conference on Software Testing, Verification and Validation : proceedings : 9-13 April 2018, Västerås, Sweden
- 2018 IEEE 11th International Conference on Software Testing, Verification and Validation Workshops : proceedings : 9-13 April 2018, Västerås, Sweden
- 2018 IEEE 3rd International Verification and Security Workshop (IVSW) : 2-4 July 2018, Spain
- 2019 IEEE 12th International Conference on Software Testing, Verification and Validation : proceedings : 22-27 April 2019, Xi'an, China
- 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops : proceedings : 22-27 April 2019, Xi'an, China
- 2019 IEEE 4th International Verification and Security Workshop (IVSW 2019) : 1-3 July 2019, Greece
- Assurances for self-adaptive systems : principles, models, and techniques
- Certified programs and proofs : second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, proceedings
- Certified programs and proofs : third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
- Colloquium on "A Layman's Guide to Software Quality" : on Wednesday, 8 December 1993
- Colloquium on "Automating Formal Methods for Computer Assisted Prototying [i.e. Prototyping]" : on Tuesday, 14 January 1992
- Colloquium on "Verification of Hardware Software Codesign" : on Tuesday, 17 October 1995
- Computer Aided Verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 ; proceedings
- Computer Aided Verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings
- Computer Aided Verification : 24th International conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings
- Computer Aided Verification : 9th International Conference, CAV'97 Haifa, Israel, June 2225, 1997 Proceedings
- Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998 ; proceedings
- Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings
- Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings
- Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 ; proceedings
- Computer aided verification : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings
- Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings
- Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings
- Computer aided verification : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 : proceedings
- Computer aided verification : 21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 ; proceedings
- Computer aided verification : 22nd international conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings
- Computer aided verification : 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 : proceedings
- Computer aided verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
- 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
- Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings
- Computer aided verification : 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993 : proceedings
- Computer aided verification : 6th international conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings
- Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings
- Concurrency, graphs and models : essays dedicated to Ugo Montanari on the occasion of his 65th birthday
- E-voting and identity : third international conference, VoteID 2011, Tallinn, Estonia, September 28-30, 2011, Revised selected papers
- Eighth IEEE International High-Level Design Validation and Test Workshop : proceedings : 12-14 November, 2003, San Francisco, California
- Eleventh Annual IEEE International High-Level Design Validation and Test Workshop : November 8-10, 2006, Monterey, California : proceedings
- Empirical software engineering and verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy : revised tutorial lectures
- Enterprise OSGi in action
- Explore it! : Wie Softwareentwickler und Tester mit explorativem Testen Risiken reduzieren und Fehler aufdecken
- Explore it! : reduce risk and increase confidence with exploratory testing
- Explore it! : reduce risk and increase confidence with exploratory testing
- Extensions of the UNITY methodology : compositionality, fairness, and probability in parallelism
- FDL 2010 : 2010 Forum on Specification & Design Languages : 14-16 September 2010
- FDL : proceedings of the 2013 Forum on Specification & Design Languages : Paris, France, September 24th-26th, 2013
- FDL, the 2016 Forum on Specification & Design Languages : proceedings : Bremen, Germany, September 14-16, 2016
- 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
- Formal methods and software engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings
- Formal methods and software engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29-November 1, 2013, Proceedings
- Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers
- Formal methods for industrial critical systems : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, proceedings
- Formal methods for industrial critical systems : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings
- Formal methods for industrial critical systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings
- Formal modeling : actors, open systems, biological systems ; essays dedicated to Carolyn Talcott on the occasion of her 70th birthday
- Formal verification of object-oriented software : International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised selected papers
- Foundations of computer software : modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010 : revised selected papers
- Fundamental approaches to software engineering : 15th International Conference, FASE 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24-April 1, 2012. Proceedings
- Gradle : Ein kompakter Einstieg in modernes Build-Management
- Gradle beyond the basics
- Gradle in action
- HLDVT '09 : conference proceedings : IEEE International High Level Design Validation and Test Workshop : November 4-6, 2009, Grand Hyatt, San Francisco, CA
- HLDVT '10 : conference proceedings : IEEE International High Level Design Validation and Test Workshop : June 11-12, 2010, Anaheim Convention Center, Anaheim, CA
- HLDVT '11 : IEEE International High Level Design Validation and Test Workshop : conference proceedings : [sixteenth annual workshop] : November 10-11, 2011 : Napa Valley Marriott, Napa Valley, CA
- Hardware and software, verification and testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers
- Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers
- Hardware and software, verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings
- Hardware and software: verification and testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 : proceedings
- Hardware and software: verification and testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 : revised selected papers
- ICSTW 2009 : IEEE International Conference on Software Testing, Verification, and Validation Workshops : April 1-4, 2009, Denver, Colorado, USA
- IEEE Fifth International Conference on Software Testing, Verification and Validation : proceedings : ICST : Montreal, Québec, Canada, 17-21 April 2012
- IEEE International High-Level Design Validation and Test Workshop : 8-10 November 2000, Berkeley, California : proceedings
- IEEE Sixth International Conference on Software Testing, Verification and Validation : proceedings : 18-20 March 2013, Luxembourg, Luxembourg
- IEEE Sixth International Conference on Software Testing, Verification, and Validation Workshops : proceedings, 18-20 March 2013, Luxembourg, Luxembourg
- Introducing Gradle
- 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
- 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 I
- 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
- 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, Part I
- Leveraging applications of formal methods, verification, and validation : International Workshops SARS 2011 and MLSC 2011 held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011 : revised selected papers
- Methods and procedures for the verification and validation of artificial neural networks
- Model checking and artificial intelligence : 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006 : revised selected and invited papers
- Model checking and artificial intelligence : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papers
- Model checking and artificial intelligence : 6th international workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010 : revised selected and invited papers
- Model checking control communication of a FACTS device
- Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings
- Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings
- Model checking software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings
- Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings
- Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings
- Model checking software : 15th International Spin Workshop, Los Angeles, CA, USA, August 10-12, 2008 : proceedings
- Model checking software : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 : proceedings
- Model checking software : 17th International SPIN Workshop, Enschede, the Netherlands, September 27-29, 2010, Proceedings
- Model checking software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings
- Model checking software : 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings
- Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings
- Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings
- Modelling and Analysis of Security Protocols
- NASA formal methods : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings
- NASA formal methods : third international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 : proceedings
- Ninth IEEE International High-Level Design Validation and Test Workshop : proceedings : November 10-12, 2004, [the Lodge at Sonoma], Sonoma Valley, California
- Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers
- Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem
- Principles of the Spin model checker
- Proceedings : Second Workshop on Software Testing, Verification, and Analysis, 19-21 July 1988, Banff, Canada
- Proceedings Fourth IEEE International Conference on Software Testing, Verification, and Validation : Berlin, Germany 21-25 March 2011
- Proceedings Fourth International Conference on Software Testing, Verification, and Validation Workshops : Berlin, Germany, 21-25 March 2011
- Proceedings Third International Conference on Software Testing, Verification, and Validation : ICST 2010 : 7-9 April 2010, Paris, France
- Proceedings Third International Conference on Software Testing, Verification, and Validation--Workshops : ICST Workshops 2010 : 6-10 April 2010, Paris, France
- Proceedings of Correctness 2018 : 2nd International Workshop on Software Correctness for HPC Applications
- Proceedings of Correctness 2019 : Third International Workshop on Software Correctness for HPC Applications
- Proceedings of the 2011 Forum on Specification & Design Language : Oldenburg, Germany, September 13th-15th, 2011
- Proceedings of the 2012 Forum on Specification & Design Languages : Vienna, Austria, September 18th-20th, 2012
- Proceedings of the 2014 Forum on Specification & Design Languages : Munich, Germany, October 14th-16th, 2014
- Proceedings of the 2015 Forum on Specification & Design Languages : Barcelona, Spain, September 14-16, 2015
- Proceedings of the 2017 Forum on Specification & Design Languages : Verona, Italy, September 18-20
- Proceedings of the 2018 Forum on Specification & Design Languages : Munich, Germany, September 10-12, 2018
- Proceedings of the First International Conference on Software Testing, Verification, and Validation : April 9-11, 2008, Lillehammer, Norway
- Proceedings, 10th IEEE International Conference on Software Testing, Verification and Validation : ICST 2017 : 13-17 March, Toyko, Japan
- Proceedings, 2016 IEEE International Conference on Software Testing, Verification and Validation : 10-15 April 2016, Chicago, Illinois
- Proceedings, IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops : 31 March-4 April 2014, Cleveland, Ohio, USA
- Proceedings, ISoLA 2006 : Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation : proceedings : 15-19 November 2006, Paphos, Cyprus
- Proceedings, Second International Conference on Software Testing, Verification, and Validation : Denver, Colorado, April 1-4, 2009
- Rigorous software development : an introduction to program verification
- Runtime Verification, 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected papers
- Runtime verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, proceedings
- Runtime verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
- Runtime verification : 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers
- Runtime verification : second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers
- Runtime verification : third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised selected papers
- SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings
- Seventh IEEE International High-Level Design Validation and Test Workshop : proceedings : 27-29 October, 2002, Cannes, France
- Sixth IEEE International High-Level Design Validation and Test Workshop : proceedings : 7-9 November, 2001
- Software engineering reviews and audits
- Software testing foundations : a study guide for the certified tester exam
- Software testing foundations : a study guide for the certified tester exam : foundation level, ISTQB compliant
- Software testing, verification & reliability
- Software verification and analysis : an integrated, hands-on approach
- Software verification and validation : an engineering and scientific approach
- Space shuttle, NASA should implement independent oversight of software development : report to the chairman, Committee on Science, Space, and Technology, House of Representatives
- Specification and verification of multi-agent systems
- Specification by example : how successful teams deliver the right software
- TMap Next : ein praktischer Leitfaden für ergebnisorientiertes Softwaretesten
- Tenth Annual IEEE International High-Level Design Validation and Test Workshop : November 30 - December 2, 2005, Napa Valley, California : proceedings
- Tenth International Conference on VLSI Design : January 4-7, 1997, Hyderabad, India
- Tests and proofs : 5th international conference, TAP 2011, Zurich, Switzerland, June 30-July 1, 2011 : proceedings
- Tests and proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012. Proceedings
- Tests and proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
- Tests and proofs : 8th International Conference, TAP 2014, held as part of STAF 2014, York, UK, July 24-25, 2014. Proceedings
- The modelling and analysis of security protocols : the CSP approach
- Theory and application of satisfiability testing--SAT 2011 : 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 : proceedings
- 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
- Theory and applications of satisfiability testing-- SAT 2012 : 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings
- Theory and applications of satisfiability testing-- SAT 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
- Time for verification : essays in memory of Amir Pnueli
- Tools and algorithms for the construction and analysis of systems : 19th International Conference, TACAS 2013, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
- 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
- Tools and algorithms for the construction and analysis of systems : 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
- Tools for practical software verification : LASER, International Summer School 2011, Elba Island, Italy, revised tutorial lectures
- Trustworthy global computing : 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised selected papers
- Trustworthy global computing : 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised selected papers
- Trustworthy global computing : 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013 : revised selected papers
- Trustworthy global computing : 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised selected papers
- Trustworthy global computing : international symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005 : revised selected papers
- Trustworthy global computing : third symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007 : revised selected papers
- Verification : theory and practice : essays delivered to Zohar Manna on the occasion of his 64th birthday
- Verification and validation in systems engineering : assessing UML/SysML design models
- Verification of object-oriented software : the KeY approach
- Verification of sequential and concurrent programs
- Verification of systems and circuits using LOTOS, Petri Nets, and CCS
- Verification, model checking, and abstract interpretation : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings
- Verification, model checking, and abstract interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
- Verification, model checking, and abstract interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
- Verified Software : theories, tools, experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005 : Revised Selected Papers and Discussions
- Verified software : theories, tools and experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised selected papers
- Verified software : theories, tools, experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised selected papers
- Verified software: theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings
- Verified software: theories, tools, experiments : third international conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 : proceedings
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/resource/1E0mvBNwefc/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/1E0mvBNwefc/">Computer software -- Verification</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Concept Computer software -- Verification
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/resource/1E0mvBNwefc/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/1E0mvBNwefc/">Computer software -- Verification</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
