<http://experiment.worldcat.org/entity/work/data/1012154252#Topic/computer_systems_performance> <http://schema.org/name> "Computer systems performance." .
<http://experiment.worldcat.org/entity/work/data/1012154252#Topic/computer_systems_performance> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/1012154252> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1012154252#Topic/computer_systems_performance> .
<http://worldcat.org/entity/work/id/1012154252> <http://schema.org/workExample> <http://www.worldcat.org/oclc/217227119> .
<http://worldcat.org/entity/work/id/1012154252> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1012154252#Topic/program_verification_computers> .
<http://worldcat.org/entity/work/id/1012154252> <http://schema.org/workExample> <http://www.worldcat.org/oclc/753962995> .
<http://worldcat.org/entity/work/id/1012154252> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/1012154252> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1012154252#Topic/computer_software_verification> .
<http://worldcat.org/entity/work/id/1012154252> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/n87922641> .
<http://worldcat.org/entity/work/id/1012154252> <http://schema.org/name> "A comparison of software verification techniques"@en .
<http://worldcat.org/entity/work/id/1012154252> <http://schema.org/name> "A comparison of software verification techniques" .
<http://worldcat.org/entity/work/id/1012154252> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/1012154252> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85029537> .
<http://worldcat.org/entity/work/id/1012154252> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1012154252#Topic/error_dectection_codes> .
<http://worldcat.org/entity/work/id/1012154252> <http://schema.org/contributor> <http://viaf.org/viaf/136970826> .
<http://experiment.worldcat.org/entity/work/data/1012154252#Topic/error_dectection_codes> <http://schema.org/name> "Error dectection codes." .
<http://experiment.worldcat.org/entity/work/data/1012154252#Topic/error_dectection_codes> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1012154252#Topic/computer_software_verification> <http://schema.org/name> "Computer software Verification." .
<http://experiment.worldcat.org/entity/work/data/1012154252#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/1012154252.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/1012154252.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/1012154252> .
<http://experiment.worldcat.org/entity/work/data/1012154252#Topic/program_verification_computers> <http://schema.org/name> "Program verification (Computers)" .
<http://experiment.worldcat.org/entity/work/data/1012154252#Topic/program_verification_computers> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .