<http://experiment.worldcat.org/entity/work/data/2576493034#Topic/computer_software_verification> <http://schema.org/name> "Computer software Verification." .
<http://experiment.worldcat.org/entity/work/data/2576493034#Topic/computer_software_verification> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/2576493034#Topic/computers_computer_literacy> <http://schema.org/name> "COMPUTERS / Computer Literacy" .
<http://experiment.worldcat.org/entity/work/data/2576493034#Topic/computers_computer_literacy> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/2576493034#Topic/computer_software_verification_congresses> <http://schema.org/name> "Computer software Verification Congresses." .
<http://experiment.worldcat.org/entity/work/data/2576493034#Topic/computer_software_verification_congresses> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/2576493034#Topic/computers_information_technology> <http://schema.org/name> "COMPUTERS / Information Technology" .
<http://experiment.worldcat.org/entity/work/data/2576493034#Topic/computers_information_technology> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/2576493034#Meeting/nato_advanced_study_institute_on_dependable_software_systems_engineering_2014_marktoberdorf_germany> <http://schema.org/name> "NATO Advanced Study Institute on Dependable Software Systems Engineering (2014 : Marktoberdorf, Germany)" .
<http://experiment.worldcat.org/entity/work/data/2576493034#Meeting/nato_advanced_study_institute_on_dependable_software_systems_engineering_2014_marktoberdorf_germany> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/2576493034#Meeting/nato_advanced_study_institute_on_dependable_software_systems_engineering_2014_marktoberdorf_germany> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/2576493034.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/2576493034.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/2576493034> .
<http://experiment.worldcat.org/entity/work/data/2576493034#Topic/computers_computer_science> <http://schema.org/name> "COMPUTERS / Computer Science" .
<http://experiment.worldcat.org/entity/work/data/2576493034#Topic/computers_computer_science> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/2576493034> <http://schema.org/genre> "Conference papers and proceedings"@en .
<http://worldcat.org/entity/work/id/2576493034> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/2576493034#Topic/computers_computer_literacy> .
<http://worldcat.org/entity/work/id/2576493034> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2667450029> .
<http://worldcat.org/entity/work/id/2576493034> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/2576493034#Topic/computer_software_verification_congresses> .
<http://worldcat.org/entity/work/id/2576493034> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/2576493034#Topic/computers_computer_science> .
<http://worldcat.org/entity/work/id/2576493034> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/2576493034#Topic/computers_machine_theory> .
<http://worldcat.org/entity/work/id/2576493034> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/2576493034#Meeting/nato_advanced_study_institute_on_dependable_software_systems_engineering_2014_marktoberdorf_germany> .
<http://worldcat.org/entity/work/id/2576493034> <http://schema.org/name> "Dependable software systems engineering"@en .
<http://worldcat.org/entity/work/id/2576493034> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/2576493034#Topic/computers_information_technology> .
<http://worldcat.org/entity/work/id/2576493034> <http://schema.org/genre> "Electronic books"@en .
<http://worldcat.org/entity/work/id/2576493034> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/2576493034#Topic/computer_systems_verification> .
<http://worldcat.org/entity/work/id/2576493034> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/2576493034> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/2576493034#Topic/computers_hardware_general> .
<http://worldcat.org/entity/work/id/2576493034> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/2576493034#Topic/computers_data_processing> .
<http://worldcat.org/entity/work/id/2576493034> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/2576493034> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/2576493034#Topic/computer_systems_verification_congresses> .
<http://worldcat.org/entity/work/id/2576493034> <http://schema.org/workExample> <http://www.worldcat.org/oclc/914229937> .
<http://worldcat.org/entity/work/id/2576493034> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/2576493034#Topic/computers_reference> .
<http://worldcat.org/entity/work/id/2576493034> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2702659121> .
<http://worldcat.org/entity/work/id/2576493034> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2720613436> .
<http://worldcat.org/entity/work/id/2576493034> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/2576493034#Topic/computer_software_verification> .
<http://experiment.worldcat.org/entity/work/data/2576493034#Topic/computers_hardware_general> <http://schema.org/name> "COMPUTERS / Hardware / General" .
<http://experiment.worldcat.org/entity/work/data/2576493034#Topic/computers_hardware_general> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/2576493034#Topic/computers_machine_theory> <http://schema.org/name> "COMPUTERS / Machine Theory" .
<http://experiment.worldcat.org/entity/work/data/2576493034#Topic/computers_machine_theory> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/2576493034#Topic/computer_systems_verification> <http://schema.org/name> "Computer systems Verification." .
<http://experiment.worldcat.org/entity/work/data/2576493034#Topic/computer_systems_verification> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/2576493034#Topic/computers_reference> <http://schema.org/name> "COMPUTERS / Reference" .
<http://experiment.worldcat.org/entity/work/data/2576493034#Topic/computers_reference> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/2576493034#Topic/computer_systems_verification_congresses> <http://schema.org/name> "Computer systems Verification Congresses." .
<http://experiment.worldcat.org/entity/work/data/2576493034#Topic/computer_systems_verification_congresses> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/2576493034#Topic/computers_data_processing> <http://schema.org/name> "COMPUTERS / Data Processing" .
<http://experiment.worldcat.org/entity/work/data/2576493034#Topic/computers_data_processing> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .