<http://experiment.worldcat.org/entity/work/data/478116987#Topic/informatique_mathematiques_congres> <http://schema.org/name> "Informatique Mathématiques Congrès." .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/informatique_mathematiques_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/transformation_programme> <http://schema.org/name> "transformation programme." .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/transformation_programme> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/computer_programming> <http://schema.org/name> "Computer programming." .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/computer_programming> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/computerwiskunde> <http://schema.org/name> "Computerwiskunde." .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/computerwiskunde> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/algorithme> <http://schema.org/name> "Algorithme." .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/algorithme> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/ordinateurs_programmation_congres> <http://schema.org/name> "Ordinateurs Programmation Congrès." .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/ordinateurs_programmation_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/mathematik> <http://schema.org/name> "Mathematik." .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/mathematik> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/478116987#Meeting/international_conference_on_the_mathematics_of_program_construction_4th_1995_marstrand_sweden> <http://schema.org/name> "International Conference on the Mathematics of Program Construction (4th : 1995 : Marstrand, Sweden)" .
<http://experiment.worldcat.org/entity/work/data/478116987#Meeting/international_conference_on_the_mathematics_of_program_construction_4th_1995_marstrand_sweden> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/478116987#Meeting/international_conference_on_the_mathematics_of_program_construction_4th_1995_marstrand_sweden> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/algorithm_analysis_and_problem_complexity> <http://schema.org/name> "Algorithm Analysis and Problem Complexity." .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/algorithm_analysis_and_problem_complexity> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/production_programme> <http://schema.org/name> "production programme." .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/production_programme> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/software_engineering> <http://schema.org/name> "Software Engineering." .
<http://experiment.worldcat.org/entity/work/data/478116987#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/478116987.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/478116987.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/478116987> .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/mathematische_methode> <http://schema.org/name> "Mathematische Methode." .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/mathematische_methode> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/478116987#Meeting/international_conference_on_the_mathematics_of_program_construction_4th_1998_marstrand_sweden> <http://schema.org/name> "International Conference on the Mathematics of Program Construction (4th : 1998 : Marstrand, Sweden)" .
<http://experiment.worldcat.org/entity/work/data/478116987#Meeting/international_conference_on_the_mathematics_of_program_construction_4th_1998_marstrand_sweden> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/478116987#Meeting/international_conference_on_the_mathematics_of_program_construction_4th_1998_marstrand_sweden> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/programming_techniques> <http://schema.org/name> "Programming Techniques." .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/programming_techniques> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/logics_and_meanings_of_programs> <http://schema.org/name> "Logics and Meanings of Programs." .
<http://experiment.worldcat.org/entity/work/data/478116987#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/478116987#Meeting/mpc_98_1998_marstrand_sweden> <http://schema.org/name> "MPC '98 (1998 : Marstrand, Sweden)" .
<http://experiment.worldcat.org/entity/work/data/478116987#Meeting/mpc_98_1998_marstrand_sweden> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/478116987#Meeting/mpc_98_1998_marstrand_sweden> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/computer_science_mathematics> <http://schema.org/name> "Computer science Mathematics." .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/computer_science_mathematics> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/478116987#Meeting/mpc_4_1998_marstrand> <http://schema.org/name> "MPC (4 : 1998 : Marstrand)" .
<http://experiment.worldcat.org/entity/work/data/478116987#Meeting/mpc_4_1998_marstrand> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/478116987#Meeting/mpc_4_1998_marstrand> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/hardwareentwurf> <http://schema.org/name> "Hardwareentwurf." .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/hardwareentwurf> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2632656000> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://id.worldcat.org/fast/1002045> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/478116987#Topic/mathematiques_programmation_congres> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/478116987#Topic/informatique_mathematiques_congres> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/478116987#Topic/programming_techniques> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/name> "Mathematics of Program Construction 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings" .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://id.worldcat.org/fast/872390> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/name> "Mathematics of program construction : 4th international conference, MPC '98, Marstrand, Sweden, June 15 - 17, 1998 ; proceedings" .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/genre> "Kongress" .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/name> "Mathematics of program construction : 4th international conference, MPC '98, Marstrand, Sweden, June 15 - 17, 1998 : proceedings" .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/478116987#Topic/specification_logiciel> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/478116987#Topic/verification_formelle> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/478116987#Topic/electronic_digital_computers_programming_congresses> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/478116987#Topic/computer_programming> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/478116987#Topic/informatique_mathematiques> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/478116987#Topic/algorithme> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/contributor> <http://viaf.org/viaf/125690782> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/genre> "Conference papers and proceedings"@en .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/genre> "Conference papers and proceedings" .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/478116987#Topic/programmatuurtechniek> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2007004295> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/alternateName> "MPC '98"@en .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/478116987#Topic/softwareentwicklung> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/478116987#Topic/mathematische_methode> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/478116987#Meeting/international_conference_on_mathematics_of_program_construction_mpc_4_1998_06_15_17_marstrand> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://id.worldcat.org/fast/872527> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/478116987#Topic/computerwiskunde> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/workExample> <http://www.worldcat.org/oclc/442367148> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/478116987#Organization/international_conference_on_the_mathematics_of_program_construction> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/workExample> <http://www.worldcat.org/oclc/185677334> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/workExample> <http://www.worldcat.org/oclc/471630321> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/478116987#Meeting/mpc_98_1998_marstrand_sweden> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/workExample> <http://www.worldcat.org/oclc/39170035> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/478116987#Topic/kongress> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/workExample> <http://www.worldcat.org/oclc/768018908> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/name> "Mathematics of Program Construction"@en .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/genre> "Conference proceedings" .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/genre> "Conference proceedings"@en .
<http://worldcat.org/entity/work/id/478116987> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/workExample> <http://www.worldcat.org/oclc/664271797> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/workExample> <http://www.worldcat.org/oclc/845070562> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/478116987#Meeting/international_conference_on_the_mathematics_of_program_construction_4th_1998_marstrand_sweden> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/478116987#Topic/informatique> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85029534> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://id.worldcat.org/fast/872451> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/workExample> <http://www.worldcat.org/oclc/888345874> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/478116987#Meeting/mpc_4_1998_marstrand> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/478116987#Topic/transformation_programme> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/description> "This book consitutes the refereed proceedings of the 4th International Conference on Mathematics of Program Construction, MPC'98, held in Marstrand, near Goteborg, Sweden, in June 1998. The 17 revised full papers presented were selected from 57 submissions; also included are three invited contributions. The volume is devoted to the use of crisp, clear mathematics in the discovery and design of algorithms and in the development of corresponding software and hardware; varoius approaches to formal methods for systems design and analysis are covered."@en .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/genre> "Electronic books"@en .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/478116987#Topic/specification_algebrique> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh87007398> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/genre> "Kongreß" .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/workExample> <http://www.worldcat.org/oclc/469393736> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/workExample> <http://www.worldcat.org/oclc/793077750> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/contributor> <http://viaf.org/viaf/124676340> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/genre> "Marstrand (1998)" .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/workExample> <http://www.worldcat.org/oclc/239328681> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/478116987#Topic/software_engineering> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85078117> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/workExample> <http://www.worldcat.org/oclc/699837577> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/478116987#Topic/ordinateurs_programmation_mathematiques_congres> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/name> "Mathematics of program construction 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings" .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/name> "Mathematics of program construction 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings"@en .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/workExample> <http://www.worldcat.org/oclc/873556114> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/contributor> <http://viaf.org/viaf/263941687> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/genre> "Congressen (vorm)"@en .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/workExample> <http://www.worldcat.org/oclc/243486427> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/478116987#Meeting/international_conference_on_mathematics_of_program_construction_4_marstrand_1998> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/478116987#Topic/computer_science_mathematics_congresses> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/478116987#Topic/mathematics_of_computing> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2632656000> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/478116987#Topic/computer_science> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/genre> "Online resources"@en .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85107310> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/name> "Mathematics of program construction : 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings"@en .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/name> "Mathematics of program construction : 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings" .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/478116987#Topic/algorithm_analysis_and_problem_complexity> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/workExample> <http://www.worldcat.org/oclc/456610276> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/478116987#Topic/hardwareentwurf> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/478116987#Meeting/international_conference_on_mathematics_of_program_construction_4_1998_marstrand> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/478116987#Topic/programmation> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://id.worldcat.org/fast/872460> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/478116987#Topic/mathematik> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/n2004022509> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/478116987#Topic/genie_logiciel> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/478116987#Topic/informatique_congres> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/478116987#Topic/logics_and_meanings_of_programs> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/workExample> <http://www.worldcat.org/oclc/47619034> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2632656000> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/478116987#Topic/ordinateurs_programmation_congres> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/name> "Mathematics of program construction 4th international conference, MPC '98, Marstrand, Sweden, June 15 - 17, 1998 ; proceedings" .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/478116987#Topic/computer_science_mathematics> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/478116987#Topic/semantique_programme> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/478116987#Topic/production_programme> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/author> <http://experiment.worldcat.org/entity/work/data/478116987#Meeting/international_conference_on_mathematics_of_program_construction_04_1998_marstrand_suede> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://id.worldcat.org/fast/1124185> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/name> "Mathematics of Program Construction 4th International Conference, MPC'98 Marstrand, Sweden, June 15-17, 1998 Proceedings" .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85042295> .
<http://worldcat.org/entity/work/id/478116987> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/478116987#Place/marstrand_&lt_1998&gt> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/nr97025099> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/478116987#Meeting/international_conference_on_the_mathematics_of_program_construction_4th_1995_marstrand_sweden> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/workExample> <http://www.worldcat.org/oclc/756601849> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/workExample> <http://www.worldcat.org/oclc/801038750> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008101221> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/478116987#Topic/computer_programming_congresses> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh89003285> .
<http://worldcat.org/entity/work/id/478116987> <http://schema.org/workExample> <http://www.worldcat.org/oclc/213930077> .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/electronic_digital_computers_programming_congresses> <http://schema.org/name> "Electronic digital computers Programming Congresses." .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/electronic_digital_computers_programming_congresses> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/informatique> <http://schema.org/name> "Informatique." .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/informatique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/verification_formelle> <http://schema.org/name> "vérification formelle." .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/verification_formelle> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/informatique_congres> <http://schema.org/name> "Informatique Congrès." .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/informatique_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/computer_science> <http://schema.org/name> "Computer Science." .
<http://experiment.worldcat.org/entity/work/data/478116987#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/478116987#Meeting/international_conference_on_mathematics_of_program_construction_mpc_4_1998_06_15_17_marstrand> <http://schema.org/name> "International Conference on Mathematics of Program Construction, MPC (4 1998.06.15-17 Marstrand)" .
<http://experiment.worldcat.org/entity/work/data/478116987#Meeting/international_conference_on_mathematics_of_program_construction_mpc_4_1998_06_15_17_marstrand> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/478116987#Meeting/international_conference_on_mathematics_of_program_construction_mpc_4_1998_06_15_17_marstrand> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/478116987#Meeting/international_conference_on_mathematics_of_program_construction_4_1998_marstrand> <http://schema.org/name> "International Conference on Mathematics of Program Construction (4 : 1998 : Marstrand)" .
<http://experiment.worldcat.org/entity/work/data/478116987#Meeting/international_conference_on_mathematics_of_program_construction_4_1998_marstrand> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/478116987#Meeting/international_conference_on_mathematics_of_program_construction_4_1998_marstrand> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/478116987#Meeting/international_conference_on_mathematics_of_program_construction_4_marstrand_1998> <http://schema.org/name> "International Conference on Mathematics of Program Construction (4 : Marstrand : 1998)" .
<http://experiment.worldcat.org/entity/work/data/478116987#Meeting/international_conference_on_mathematics_of_program_construction_4_marstrand_1998> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/478116987#Meeting/international_conference_on_mathematics_of_program_construction_4_marstrand_1998> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/mathematiques_programmation_congres> <http://schema.org/name> "mathématiques programmation [congrès]" .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/mathematiques_programmation_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/programmation> <http://schema.org/name> "Programmation." .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/programmation> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/computer_programming_congresses> <http://schema.org/name> "Computer programming Congresses." .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/computer_programming_congresses> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/specification_algebrique> <http://schema.org/name> "spécification algébrique." .
<http://experiment.worldcat.org/entity/work/data/478116987#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/478116987#Topic/programmatuurtechniek> <http://schema.org/name> "Programmatuurtechniek." .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/programmatuurtechniek> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/mathematics_of_computing> <http://schema.org/name> "Mathematics of Computing." .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/mathematics_of_computing> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/478116987#Organization/international_conference_on_the_mathematics_of_program_construction> <http://schema.org/name> "International Conference on the Mathematics of Program Construction" .
<http://experiment.worldcat.org/entity/work/data/478116987#Organization/international_conference_on_the_mathematics_of_program_construction> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/ordinateurs_programmation_mathematiques_congres> <http://schema.org/name> "Ordinateurs Programmation Mathématiques Congrès." .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/ordinateurs_programmation_mathematiques_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/informatique_mathematiques> <http://schema.org/name> "Informatique Mathématiques." .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/informatique_mathematiques> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/computer_science_mathematics_congresses> <http://schema.org/name> "Computer science Mathematics Congresses." .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/computer_science_mathematics_congresses> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/kongress> <http://schema.org/name> "Kongress." .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/kongress> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/kongress> <http://schema.org/name> "Kongreß." .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/genie_logiciel> <http://schema.org/name> "Génie logiciel." .
<http://experiment.worldcat.org/entity/work/data/478116987#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/478116987#Topic/softwareentwicklung> <http://schema.org/name> "Softwareentwicklung." .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/softwareentwicklung> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/semantique_programme> <http://schema.org/name> "sémantique programme." .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/semantique_programme> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/478116987#Place/marstrand_&lt_1998&gt> <http://schema.org/name> "Marstrand &lt;1998&gt;" .
<http://experiment.worldcat.org/entity/work/data/478116987#Place/marstrand_&lt_1998&gt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Place> .
<http://experiment.worldcat.org/entity/work/data/478116987#Meeting/international_conference_on_mathematics_of_program_construction_04_1998_marstrand_suede> <http://schema.org/name> "International conference on mathematics of program construction (04 : 1998 : Marstrand, Suède)" .
<http://experiment.worldcat.org/entity/work/data/478116987#Meeting/international_conference_on_mathematics_of_program_construction_04_1998_marstrand_suede> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/478116987#Meeting/international_conference_on_mathematics_of_program_construction_04_1998_marstrand_suede> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/specification_logiciel> <http://schema.org/name> "spécification logiciel." .
<http://experiment.worldcat.org/entity/work/data/478116987#Topic/specification_logiciel> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .