<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/developpement_logiciel> <http://schema.org/name> "développement logiciel." .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/developpement_logiciel> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_caap_fase_6_aarhus_1995> <http://schema.org/name> "International joint conference CAAP-FASE, 6., Aarhus, 1995." .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_caap_fase_6_aarhus_1995> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_caap_fase_6_aarhus_1995> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/ateliers_de_genie_logiciel_congres> <http://schema.org/name> "Ateliers de génie logiciel Congrès." .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/ateliers_de_genie_logiciel_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/genie_logiciel_congres> <http://schema.org/name> "Génie logiciel Congrès." .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/genie_logiciel_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/softwareentwicklung> <http://schema.org/name> "Softwareentwicklung." .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/softwareentwicklung> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/fase_1995_05_22_26_aarhus> <http://schema.org/name> "FASE (1995.05.22-26 Aarhus)" .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/fase_1995_05_22_26_aarhus> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/fase_1995_05_22_26_aarhus> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/reecriture> <http://schema.org/name> "réécriture." .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/reecriture> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/logiciel_developpement_congres> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/workExample> <http://www.worldcat.org/oclc/468112163> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/genie_logiciel> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_on_the_theory_and_practice_of_software_development_6_1995_05_22_26_aarhus> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/name> "TAPSOFT '95"@en .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/workExample> <http://www.worldcat.org/oclc/611669390> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/langages_formels_congres> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/workExample> <http://www.worldcat.org/oclc/832656046> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/genie_logiciel_congres> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/genre> "Conference papers and proceedings" .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/workExample> <http://www.worldcat.org/oclc/845515030> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/reecriture> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/tapsoft_95_6_1995_aarhus> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/workExample> <http://www.worldcat.org/oclc/793077562> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/name> "Theory and practice of software development : proceedings" .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1104429989#Place/arhus_&lt_1995&gt> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/softwareentwicklung_kongressbericht> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/colloquium_on_trees_in_algebra_and_programming_1995_aarhus_denmark> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/workExample> <http://www.worldcat.org/oclc/150398057> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2634347357> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/developpement_logiciel> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/1104429989#Organization/international_joint_conference_on_the_theory_and_practice_of_software_development> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/arbre_theorie_des_graphes> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2632404137> .
<http://worldcat.org/entity/work/id/1104429989> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://id.worldcat.org/fast/1124185> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/name> "TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings" .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/workExample> <http://www.worldcat.org/oclc/801053816> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85078117> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/systeme_concurrent> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/fase_conference_1995_aarhus_denmark> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/name> "TAPSOFT '95: Theory and Practice of Software Development 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings" .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/workExample> <http://www.worldcat.org/oclc/911377523> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/genre> "Conference proceedings" .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/specification_formelle> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/colloquium_on_trees_in_algebra_and_programming_caap_95> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/contributor> <http://viaf.org/viaf/126312774> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/name> "TAPSOFT '95 theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings" .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/contributor> <http://viaf.org/viaf/136904895> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_on_theory_and_practice_of_software_development_6_1995_aarhus> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh89003285> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/workExample> <http://www.worldcat.org/oclc/441638817> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/alternateName> "Caap '95"@en .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/name> "TAPSOFT '95: theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995 ; proceedings" .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/specification_algebrique> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/software_sviluppo_congressi_1995> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/calcul_parallele> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2634347357> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/name> "TAPSOFT '95 : theory and practice of software development : 6th International joint conference CAAP-FASE : Aarhus, Denmark, May 22-26, 1995 : proceedings" .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/genre> "Kongreß" .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/caap_20_1995_05_22_26_aarhus> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/softwareentwicklung> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/alternateName> "Fase"@en .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/programming_languages_compilers_interpreters> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2634347357> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/genre> "Kongress" .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/colloquium_on_formal_approaches_of_software_engineering_1995_aarhus_denmark> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/programmatuurtechniek> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/concurrence> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/arbre> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/ateliers_de_genie_logiciel_congres> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/name> "TAPSOFT '95: theory and practice of software development : 6th international joint conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings" .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/analyse_algorithme> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/logics_and_meanings_of_programs> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_colloquium_on_trees_in_algebra_and_programming_caap_95_1995_aarhus_denmark> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh87007398> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/workExample> <http://www.worldcat.org/oclc/751014164> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_on_theory_and_practice_of_software_development_6_1995_aarhus_denmark> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://id.worldcat.org/fast/872537> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/semantique> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/colloquium_on_trees_in_algebra_and_programming_20_1995_05_22_26_aarhus> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/name> "TAPSOFT '95 theory and practice of software development : 6th International joint conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings" .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/oprogramowanie_rozwoj_konferencje> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/colloquium_on_formal_approaches_in_software_engineering_1995_05_22_26_aarhus> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/1104429989#Organization/international_joint_conference_on_theory_and_practice_of_software_development> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/workExample> <http://www.worldcat.org/oclc/760737619> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/alternateName> "Theory and practice of software development"@en .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/alternateName> "Theory and practice of software development" .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/workExample> <http://www.worldcat.org/oclc/827358174> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/1104429989#Organization/colloquium_on_formal_approaches_of_software_engineering> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/software_congresos> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/tapsoft_6_1995_05_22_26_aarhus> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/contrainte> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_on_theory_and_practice_of_software_development_6th_1995_arhus_denmark> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/alternateName> "TAPSOFT '95" .
<http://worldcat.org/entity/work/id/1104429989> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/genre> "Electronic books" .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/genre> "Congressen (vorm)" .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/mathematical_logic_and_formal_languages> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/langage_formel> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/alternateName> "CAAP/FASE" .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/computer_science> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/congressi_aarhus_1995> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_on_theory_and_practice_of_software_development_tapsoft_95_6th_1995_aarhus_denmark> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2640633959> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/computation_by_abstract_devices> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_caap_fase_6_aarhus_1995> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2640633959> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2630489551> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/1104429989#Organization/colloquium_on_trees_in_algebra_and_programming> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/workExample> <http://www.worldcat.org/oclc/801024548> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_on_theory_and_practice_of_software_development_6th_1995_aarhus_denmark> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_on_the_theory_and_practice_of_software_development_6_aarhus_1995> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008101470> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/description> "This volume presents the proceedings of the Sixth International Joint Conference on the Theory and Practice of Software Engineering, TAPSOFT '95, held in Aarhus, Denmark in May 1995. TAPSOFT '95 celebrates the 10th anniversary of this conference series started in Berlin in 1985 to bring together theoretical computer scientists and software engineers (researchers and practitioners) with a view to discussing how formal methods can usefully be applied in software development. The volume contains seven invited papers, among them one by Vaugham Pratt on the recently revealed bug in the Pentium chip, and 44 revised full papers selected from a total of 147 submissions. In addition the TAPSOFT '95 proceedings contains 10 tool descriptions." .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://id.worldcat.org/fast/872451> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/colloquium_on_formal_approaches_of_software_engineering_fase_1995_05_22_26_aarhus_denmark> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_caap_fase_6_1995_aarhus> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/contributor> <http://viaf.org/viaf/122855223> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/workExample> <http://www.worldcat.org/oclc/715887295> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/software_engineering> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85029535> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/developpement_de_logiciels> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/logiciels_developpement_congres> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/fase_1995_05_22_26_aarhus> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/colloquium_on_formal_approaches_of_software_engineering_fase> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_on_the_theory_and_practice_of_software_development_tapsoft_6_1995_05_22_26_aarhus> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/name> "TAPSOFT'95 : theory and practice of software development : 6th international joint conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings" .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/automates_mathematiques_theorie_des_congres> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://id.worldcat.org/fast/1002045> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/workExample> <http://www.worldcat.org/oclc/637626078> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/arithmetic_and_logic_structures> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/name> "TAPSOFT '95: Theory and Practice of Software Development 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22-26, 1995 Proceedings" .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/workExample> <http://www.worldcat.org/oclc/32391827> .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/name> "TAPSOFT '95 Theory and practice of software development ; 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22-26, 1995 Proceedings" .
<http://worldcat.org/entity/work/id/1104429989> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/colloquium_on_trees_in_algebra_and_programming_caap_20_1995_05_22_26_aarhus_denmark> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/langage_formel> <http://schema.org/name> "langage formel." .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/langage_formel> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_colloquium_on_trees_in_algebra_and_programming_caap_95_1995_aarhus_denmark> <http://schema.org/name> "International Colloquium on Trees in Algebra and Programming CAAP'95 1995 : Aarhus, Denmark." .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_colloquium_on_trees_in_algebra_and_programming_caap_95_1995_aarhus_denmark> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_colloquium_on_trees_in_algebra_and_programming_caap_95_1995_aarhus_denmark> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/softwareentwicklung_kongressbericht> <http://schema.org/name> "Softwareentwicklung Kongressbericht." .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/softwareentwicklung_kongressbericht> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_on_theory_and_practice_of_software_development_tapsoft_95_6th_1995_aarhus_denmark> <http://schema.org/name> "International Joint Conference on Theory and Practice of Software Development (TAPSOFT '95) (6th : 1995 : Aarhus, Denmark)" .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_on_theory_and_practice_of_software_development_tapsoft_95_6th_1995_aarhus_denmark> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_on_theory_and_practice_of_software_development_tapsoft_95_6th_1995_aarhus_denmark> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/colloquium_on_formal_approaches_in_software_engineering_1995_05_22_26_aarhus> <http://schema.org/name> "Colloquium on Formal Approaches in Software Engineering (1995.05.22-26 Aarhus)" .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/colloquium_on_formal_approaches_in_software_engineering_1995_05_22_26_aarhus> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/colloquium_on_formal_approaches_in_software_engineering_1995_05_22_26_aarhus> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/analyse_algorithme> <http://schema.org/name> "analyse algorithme." .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/analyse_algorithme> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/software_engineering> <http://schema.org/name> "Software Engineering." .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/software_engineering> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/programming_languages_compilers_interpreters> <http://schema.org/name> "Programming Languages, Compilers, Interpreters." .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/programming_languages_compilers_interpreters> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/software_congresos> <http://schema.org/name> "Software Congresos." .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/software_congresos> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/colloquium_on_trees_in_algebra_and_programming_caap_95> <http://schema.org/name> "Colloquium on Trees in Algebra and Programming (CAAP'95)" .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/colloquium_on_trees_in_algebra_and_programming_caap_95> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/colloquium_on_trees_in_algebra_and_programming_caap_95> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_caap_fase_6_1995_aarhus> <http://schema.org/name> "International joint conference CAAP/FASE (6 : 1995 : Aarhus)" .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_caap_fase_6_1995_aarhus> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_caap_fase_6_1995_aarhus> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_on_theory_and_practice_of_software_development_6_1995_aarhus_denmark> <http://schema.org/name> "International Joint Conference on Theory and Practice of Software Development (6. 1995. Aarhus, Denmark)" .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_on_theory_and_practice_of_software_development_6_1995_aarhus_denmark> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_on_theory_and_practice_of_software_development_6_1995_aarhus_denmark> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/arithmetic_and_logic_structures> <http://schema.org/name> "Arithmetic and Logic Structures." .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/arithmetic_and_logic_structures> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/arbre_theorie_des_graphes> <http://schema.org/name> "Arbre (Théorie des graphes)" .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/arbre_theorie_des_graphes> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_on_the_theory_and_practice_of_software_development_6_aarhus_1995> <http://schema.org/name> "International joint conference on the theory and practice of software development, 6., Aarhus, 1995." .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_on_the_theory_and_practice_of_software_development_6_aarhus_1995> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_on_the_theory_and_practice_of_software_development_6_aarhus_1995> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/colloquium_on_trees_in_algebra_and_programming_20_1995_05_22_26_aarhus> <http://schema.org/name> "Colloquium on Trees in Algebra and Programming (20 1995.05.22-26 Aarhus)" .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/colloquium_on_trees_in_algebra_and_programming_20_1995_05_22_26_aarhus> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/colloquium_on_trees_in_algebra_and_programming_20_1995_05_22_26_aarhus> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_on_the_theory_and_practice_of_software_development_6_1995_05_22_26_aarhus> <http://schema.org/name> "International Joint Conference on the Theory and Practice of Software Development (6 1995.05.22-26 Aarhus)" .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_on_the_theory_and_practice_of_software_development_6_1995_05_22_26_aarhus> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_on_the_theory_and_practice_of_software_development_6_1995_05_22_26_aarhus> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/colloquium_on_trees_in_algebra_and_programming_caap_20_1995_05_22_26_aarhus_denmark> <http://schema.org/name> "Colloquium on Trees in Algebra and Programming, CAAP (20 1995.05.22-26 Aarhus, Denmark)" .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/colloquium_on_trees_in_algebra_and_programming_caap_20_1995_05_22_26_aarhus_denmark> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/colloquium_on_trees_in_algebra_and_programming_caap_20_1995_05_22_26_aarhus_denmark> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Place/arhus_&lt_1995&gt> <http://schema.org/name> "Århus &lt;1995&gt;" .
<http://experiment.worldcat.org/entity/work/data/1104429989#Place/arhus_&lt_1995&gt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Place> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/congressi_aarhus_1995> <http://schema.org/name> "Congressi - Aarhus - 1995." .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/congressi_aarhus_1995> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_on_theory_and_practice_of_software_development_6th_1995_arhus_denmark> <http://schema.org/name> "International Joint Conference on Theory and Practice of Software Development (6th : 1995 : Århus, Denmark)" .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_on_theory_and_practice_of_software_development_6th_1995_arhus_denmark> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_on_theory_and_practice_of_software_development_6th_1995_arhus_denmark> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/arbre> <http://schema.org/name> "arbre." .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/arbre> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1104429989.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/1104429989.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/1104429989> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/colloquium_on_formal_approaches_of_software_engineering_fase> <http://schema.org/name> "Colloquium on Formal Approaches of Software Engineering (FASE)" .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/colloquium_on_formal_approaches_of_software_engineering_fase> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/colloquium_on_formal_approaches_of_software_engineering_fase> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/semantique> <http://schema.org/name> "sémantique." .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/semantique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_on_theory_and_practice_of_software_development_6th_1995_aarhus_denmark> <http://schema.org/name> "International Joint Conference on Theory and Practice of Software Development (6th : 1995 : Aarhus, Denmark)" .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_on_theory_and_practice_of_software_development_6th_1995_aarhus_denmark> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_on_theory_and_practice_of_software_development_6th_1995_aarhus_denmark> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/developpement_de_logiciels> <http://schema.org/name> "Développement de logiciels." .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/developpement_de_logiciels> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/logics_and_meanings_of_programs> <http://schema.org/name> "Logics and Meanings of Programs." .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/logics_and_meanings_of_programs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/systeme_concurrent> <http://schema.org/name> "système concurrent." .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/systeme_concurrent> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/genie_logiciel> <http://schema.org/name> "génie logiciel." .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/genie_logiciel> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/genie_logiciel> <http://schema.org/name> "Génie logiciel." .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/tapsoft_6_1995_05_22_26_aarhus> <http://schema.org/name> "TAPSOFT (6 1995.05.22-26 Aarhus)" .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/tapsoft_6_1995_05_22_26_aarhus> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/tapsoft_6_1995_05_22_26_aarhus> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/specification_algebrique> <http://schema.org/name> "spécification algébrique." .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/specification_algebrique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/oprogramowanie_rozwoj_konferencje> <http://schema.org/name> "Oprogramowanie rozwój konferencje." .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/oprogramowanie_rozwoj_konferencje> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/colloquium_on_trees_in_algebra_and_programming_1995_aarhus_denmark> <http://schema.org/name> "Colloquium on Trees in Algebra and Programming (1995 : Aarhus, Denmark)" .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/colloquium_on_trees_in_algebra_and_programming_1995_aarhus_denmark> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/colloquium_on_trees_in_algebra_and_programming_1995_aarhus_denmark> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/logiciels_developpement_congres> <http://schema.org/name> "Logiciels Développement Congrès." .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/logiciels_developpement_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Organization/colloquium_on_trees_in_algebra_and_programming> <http://schema.org/name> "Colloquium on Trees in Algebra and Programming :" .
<http://experiment.worldcat.org/entity/work/data/1104429989#Organization/colloquium_on_trees_in_algebra_and_programming> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/automates_mathematiques_theorie_des_congres> <http://schema.org/name> "Automates mathématiques, Théorie des Congrès." .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/automates_mathematiques_theorie_des_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/software_sviluppo_congressi_1995> <http://schema.org/name> "Software - Sviluppo - Congressi - 1995." .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/software_sviluppo_congressi_1995> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/logiciel_developpement_congres> <http://schema.org/name> "logiciel - développement [congrès]" .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/logiciel_developpement_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/calcul_parallele> <http://schema.org/name> "calcul parallèle." .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/calcul_parallele> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Organization/international_joint_conference_on_the_theory_and_practice_of_software_development> <http://schema.org/name> "International joint conference on the theory and practice of software development" .
<http://experiment.worldcat.org/entity/work/data/1104429989#Organization/international_joint_conference_on_the_theory_and_practice_of_software_development> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_on_theory_and_practice_of_software_development_6_1995_aarhus> <http://schema.org/name> "International Joint Conference on Theory and Practice of Software Development (6 : 1995 : Aarhus)" .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_on_theory_and_practice_of_software_development_6_1995_aarhus> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_on_theory_and_practice_of_software_development_6_1995_aarhus> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_on_the_theory_and_practice_of_software_development_tapsoft_6_1995_05_22_26_aarhus> <http://schema.org/name> "International Joint Conference on the Theory and Practice of Software Development, TAPSOFT (6 1995.05.22-26 Aarhus)" .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_on_the_theory_and_practice_of_software_development_tapsoft_6_1995_05_22_26_aarhus> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_on_the_theory_and_practice_of_software_development_tapsoft_6_1995_05_22_26_aarhus> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/contrainte> <http://schema.org/name> "contrainte." .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/contrainte> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/programmatuurtechniek> <http://schema.org/name> "Programmatuurtechniek." .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/programmatuurtechniek> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/colloquium_on_formal_approaches_of_software_engineering_1995_aarhus_denmark> <http://schema.org/name> "Colloquium on Formal Approaches of Software Engineering (1995. Aarhus, Denmark)" .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/colloquium_on_formal_approaches_of_software_engineering_1995_aarhus_denmark> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/colloquium_on_formal_approaches_of_software_engineering_1995_aarhus_denmark> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/computer_science> <http://schema.org/name> "Computer Science." .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/computer_science> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Organization/colloquium_on_formal_approaches_of_software_engineering> <http://schema.org/name> "Colloquium on Formal Approaches of Software Engineering :" .
<http://experiment.worldcat.org/entity/work/data/1104429989#Organization/colloquium_on_formal_approaches_of_software_engineering> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/mathematical_logic_and_formal_languages> <http://schema.org/name> "Mathematical Logic and Formal Languages." .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/mathematical_logic_and_formal_languages> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/computation_by_abstract_devices> <http://schema.org/name> "Computation by Abstract Devices." .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/computation_by_abstract_devices> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/tapsoft_95_6_1995_aarhus> <http://schema.org/name> "TAPSOFT '95 (6 ; 1995 ; Aarhus)." .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/tapsoft_95_6_1995_aarhus> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/tapsoft_95_6_1995_aarhus> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/langages_formels_congres> <http://schema.org/name> "Langages formels Congrès." .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/langages_formels_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/colloquium_on_formal_approaches_of_software_engineering_fase_1995_05_22_26_aarhus_denmark> <http://schema.org/name> "Colloquium on Formal Approaches of Software Engineering, FASE (1995.05.22-26 Aarhus, Denmark)" .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/colloquium_on_formal_approaches_of_software_engineering_fase_1995_05_22_26_aarhus_denmark> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/colloquium_on_formal_approaches_of_software_engineering_fase_1995_05_22_26_aarhus_denmark> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Organization/international_joint_conference_on_theory_and_practice_of_software_development> <http://schema.org/name> "International Joint Conference on Theory and Practice of Software Development" .
<http://experiment.worldcat.org/entity/work/data/1104429989#Organization/international_joint_conference_on_theory_and_practice_of_software_development> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/caap_20_1995_05_22_26_aarhus> <http://schema.org/name> "CAAP (20 1995.05.22-26 Aarhus)" .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/caap_20_1995_05_22_26_aarhus> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/caap_20_1995_05_22_26_aarhus> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/fase_conference_1995_aarhus_denmark> <http://schema.org/name> "FASE (Conference) (1995 : Aarhus, Denmark)" .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/fase_conference_1995_aarhus_denmark> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/fase_conference_1995_aarhus_denmark> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/concurrence> <http://schema.org/name> "concurrence." .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/concurrence> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/specification_formelle> <http://schema.org/name> "spécification formelle." .
<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/specification_formelle> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .