<http://experiment.worldcat.org/entity/work/data/43513668#Topic/calcul_predicat> <http://schema.org/name> "calcul prédicat." .
<http://experiment.worldcat.org/entity/work/data/43513668#Topic/calcul_predicat> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/43513668#Topic/programmation> <http://schema.org/name> "Programmation." .
<http://experiment.worldcat.org/entity/work/data/43513668#Topic/programmation> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/43513668#Topic/logique_hoare> <http://schema.org/name> "logique Hoare." .
<http://experiment.worldcat.org/entity/work/data/43513668#Topic/logique_hoare> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/43513668#Topic/testabilite> <http://schema.org/name> "testabilité" .
<http://experiment.worldcat.org/entity/work/data/43513668#Topic/testabilite> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/43513668#Topic/programmverifikation> <http://schema.org/name> "Programmverifikation." .
<http://experiment.worldcat.org/entity/work/data/43513668#Topic/programmverifikation> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/43513668#Topic/oprogramowanie_weryfikacja> <http://schema.org/name> "Oprogramowanie weryfikacja." .
<http://experiment.worldcat.org/entity/work/data/43513668#Topic/oprogramowanie_weryfikacja> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/43513668#Topic/type_donnee> <http://schema.org/name> "type donnée." .
<http://experiment.worldcat.org/entity/work/data/43513668#Topic/type_donnee> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/43513668.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/43513668.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/43513668> .
<http://experiment.worldcat.org/entity/work/data/43513668#Topic/programas_de_ordenador> <http://schema.org/name> "Programas de ordenador." .
<http://experiment.worldcat.org/entity/work/data/43513668#Topic/programas_de_ordenador> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/43513668#Topic/logiciels_verification> <http://schema.org/name> "Logiciels Vérification." .
<http://experiment.worldcat.org/entity/work/data/43513668#Topic/logiciels_verification> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/43513668#Topic/verification_logiciel> <http://schema.org/name> "vérification logiciel." .
<http://experiment.worldcat.org/entity/work/data/43513668#Topic/verification_logiciel> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/43513668#Topic/programmatuurtechniek> <http://schema.org/name> "Programmatuurtechniek." .
<http://experiment.worldcat.org/entity/work/data/43513668#Topic/programmatuurtechniek> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/43513668> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/43513668#Topic/type_donnee> .
<http://worldcat.org/entity/work/id/43513668> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/43513668#Topic/programmatuurtechniek> .
<http://worldcat.org/entity/work/id/43513668> <http://schema.org/workExample> <http://www.worldcat.org/oclc/421913583> .
<http://worldcat.org/entity/work/id/43513668> <http://schema.org/workExample> <http://www.worldcat.org/oclc/475807772> .
<http://worldcat.org/entity/work/id/43513668> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/43513668#Topic/oprogramowanie_weryfikacja> .
<http://worldcat.org/entity/work/id/43513668> <http://schema.org/workExample> <http://www.worldcat.org/oclc/611859176> .
<http://worldcat.org/entity/work/id/43513668> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2632919378> .
<http://worldcat.org/entity/work/id/43513668> <http://schema.org/workExample> <http://www.worldcat.org/oclc/320290308> .
<http://worldcat.org/entity/work/id/43513668> <http://schema.org/workExample> <http://www.worldcat.org/oclc/804523189> .
<http://worldcat.org/entity/work/id/43513668> <http://schema.org/workExample> <http://www.worldcat.org/oclc/850724530> .
<http://worldcat.org/entity/work/id/43513668> <http://schema.org/workExample> <http://www.worldcat.org/oclc/24792411> .
<http://worldcat.org/entity/work/id/43513668> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/43513668#Topic/testabilite> .
<http://worldcat.org/entity/work/id/43513668> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2632919378> .
<http://worldcat.org/entity/work/id/43513668> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/43513668#Topic/logiciels_verification> .
<http://worldcat.org/entity/work/id/43513668> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85029528> .
<http://worldcat.org/entity/work/id/43513668> <http://schema.org/description> "Software -- Software Engineering." .
<http://worldcat.org/entity/work/id/43513668> <http://schema.org/about> <http://id.worldcat.org/fast/872448> .
<http://worldcat.org/entity/work/id/43513668> <http://schema.org/name> "Verifiable programming" .
<http://worldcat.org/entity/work/id/43513668> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/43513668#Topic/programas_de_ordenador> .
<http://worldcat.org/entity/work/id/43513668> <http://schema.org/name> "Verifiable Programming" .
<http://worldcat.org/entity/work/id/43513668> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/43513668#Topic/programmverifikation> .
<http://worldcat.org/entity/work/id/43513668> <http://schema.org/name> "Verifiable programming"@en .
<http://worldcat.org/entity/work/id/43513668> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/43513668> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/43513668#Topic/logique_hoare> .
<http://worldcat.org/entity/work/id/43513668> <http://schema.org/workExample> <http://www.worldcat.org/oclc/641932870> .
<http://worldcat.org/entity/work/id/43513668> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/43513668#Topic/programmation> .
<http://worldcat.org/entity/work/id/43513668> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/43513668> <http://schema.org/workExample> <http://www.worldcat.org/oclc/644003854> .
<http://worldcat.org/entity/work/id/43513668> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/43513668#Topic/calcul_predicat> .
<http://worldcat.org/entity/work/id/43513668> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/43513668#Topic/verification_logiciel> .