<http://experiment.worldcat.org/entity/work/data/861449395.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/861449395.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/861449395> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/informatique> <http://schema.org/name> "Informatique." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/informatique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/softwareentwicklung_objektorientierung_komponente_&lt_software&gt_formale_methode_kongress_amsterdam_&lt_2006&gt> <http://schema.org/name> "Softwareentwicklung Objektorientierung Komponente &lt;Software&gt; Formale Methode Kongress Amsterdam &lt;2006&gt;" .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/softwareentwicklung_objektorientierung_komponente_&lt_software&gt_formale_methode_kongress_amsterdam_&lt_2006&gt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Organization/fmco_&lt_5_2006_amsterdam&gt> <http://schema.org/name> "FMCO &lt;5, 2006, Amsterdam&gt;" .
<http://experiment.worldcat.org/entity/work/data/861449395#Organization/fmco_&lt_5_2006_amsterdam&gt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_2_2003_leiden_nl> <http://schema.org/name> "International Symposium on Formal Methods for Components and Objects (2 : 2003 : Leiden, NL)." .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_2_2003_leiden_nl> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_2_2003_leiden_nl> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_fmco_6_24_10_2007_26_10_2007_amsterdam_the_netherlands> <http://schema.org/name> "International Symposium on Formal Methods for Components and Objects, FMCO (6 : 24-10-2007 - 26-10-2007 : Amsterdam, The Netherlands)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_fmco_6_24_10_2007_26_10_2007_amsterdam_the_netherlands> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_fmco_6_24_10_2007_26_10_2007_amsterdam_the_netherlands> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_6th_2007> <http://schema.org/name> "International Symposium on Formal Methods for Components and Objects (6th ; 2007)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_6th_2007> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_6th_2007> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/computers_machine_theory> <http://schema.org/name> "COMPUTERS Machine Theory." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/computers_machine_theory> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_7_2008_10_21_23_sophia_antipolis_france> <http://schema.org/name> "International Symposium on Formal Methods for Components and Objects (7 2008.10.21-23 Sophia Antipolis, France)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_7_2008_10_21_23_sophia_antipolis_france> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_7_2008_10_21_23_sophia_antipolis_france> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2005_4_2005_11_01_04_amsterdam> <http://schema.org/name> "FMCO 2005 (4 : 2005.11.01-04 : Amsterdam)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2005_4_2005_11_01_04_amsterdam> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2005_4_2005_11_01_04_amsterdam> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/861449395#Organization/springerlink_service_en_ligne> <http://schema.org/name> "SpringerLink (Service en ligne)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Organization/springerlink_service_en_ligne> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/approche_orientee_objet> <http://schema.org/name> "Approche orientée objet." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/approche_orientee_objet> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2008_2008_sophia_antipolis_france> <http://schema.org/name> "FMCO 2008 (2008 : Sophia Antipolis, France)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2008_2008_sophia_antipolis_france> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2008_2008_sophia_antipolis_france> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_7th_2008> <http://schema.org/name> "International Symposium on Formal Methods for Components and Objects (7th ; 2008)." .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_7th_2008> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_7th_2008> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/composant_logiciel> <http://schema.org/name> "Composant logiciel." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/composant_logiciel> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_symposium_6th_2007_amsterdam_netherlands> <http://schema.org/name> "FMCO (Symposium) (6th : 2007 : Amsterdam, Netherlands)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_symposium_6th_2007_amsterdam_netherlands> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_symposium_6th_2007_amsterdam_netherlands> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/ingenieria_del_software_congresos> <http://schema.org/name> "Ingeniería del software Congresos." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/ingenieria_del_software_congresos> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/structure_logique> <http://schema.org/name> "Structure logique." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/structure_logique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/langages_orientes_objet_informatique_congres> <http://schema.org/name> "Langages orientés objet (Informatique) Congrès." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/langages_orientes_objet_informatique_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/logic_design> <http://schema.org/name> "Logic design." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/logic_design> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/object_oriented_programming_computer_science_congresses> <http://schema.org/name> "Object-oriented programming (Computer science) Congresses." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/object_oriented_programming_computer_science_congresses> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Place/amsterdam_&lt_2007&gt> <http://schema.org/name> "Amsterdam &lt;2007&gt;" .
<http://experiment.worldcat.org/entity/work/data/861449395#Place/amsterdam_&lt_2007&gt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Place> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/computer_software_development> <http://schema.org/name> "Computer software Development." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/computer_software_development> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/system_design> <http://schema.org/name> "System design." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/system_design> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/system_design> <http://schema.org/name> "System Design." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/formal_methods_computer_science_congresses> <http://schema.org/name> "Formal methods (Computer science) Congresses." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/formal_methods_computer_science_congresses> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/computers_computer_science> <http://schema.org/name> "COMPUTERS Computer Science." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/computers_computer_science> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/formale_methode> <http://schema.org/name> "Formale Methode." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/formale_methode> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/formale_methode> <http://schema.org/name> "Formale Methode" .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/verification_formelle> <http://schema.org/name> "vérification formelle." .
<http://experiment.worldcat.org/entity/work/data/861449395#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/861449395#Topic/ebooks_uml> <http://schema.org/name> "Ebooks -- UML." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/ebooks_uml> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/komponente_&lt_software&gt> <http://schema.org/name> "Komponente &lt;Software&gt;" .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/komponente_&lt_software&gt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/objektorientierung> <http://schema.org/name> "Objektorientierung." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/objektorientierung> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/objektorientierung> <http://schema.org/name> "Objektorientierung" .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/developpement_de_logiciels> <http://schema.org/name> "Développement de logiciels." .
<http://experiment.worldcat.org/entity/work/data/861449395#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/861449395#Topic/programmation_orientee_objet_informatique> <http://schema.org/name> "Programmation orientée objet (Informatique)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/programmation_orientee_objet_informatique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_5_2006_amsterdam> <http://schema.org/name> "FMCO (5 : 2006 : Amsterdam)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_5_2006_amsterdam> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_5_2006_amsterdam> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/861449395#Place/amsterdam_&lt_2006&gt> <http://schema.org/name> "Amsterdam &lt;2006&gt;" .
<http://experiment.worldcat.org/entity/work/data/861449395#Place/amsterdam_&lt_2006&gt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Place> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/computers_computer_literacy> <http://schema.org/name> "COMPUTERS Computer Literacy." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/computers_computer_literacy> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/formale_spezifikationstechnik> <http://schema.org/name> "Formale Spezifikationstechnik." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/formale_spezifikationstechnik> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/operating_systems_computers> <http://schema.org/name> "Operating systems (Computers)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/operating_systems_computers> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/logiciels_developpement_congres> <http://schema.org/name> "Logiciels Développement Congrès." .
<http://experiment.worldcat.org/entity/work/data/861449395#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/861449395#Organization/fmco_&lt_7_2008_valbonne_sophia_antipolis&gt> <http://schema.org/name> "FMCO &lt;7, 2008, Valbonne- Sophia Antipolis&gt;" .
<http://experiment.worldcat.org/entity/work/data/861449395#Organization/fmco_&lt_7_2008_valbonne_sophia_antipolis&gt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/programacion_orientada_a_objetos_congresos_en_linea> <http://schema.org/name> "Programación orientada a objetos Congresos En línea." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/programacion_orientada_a_objetos_congresos_en_linea> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_fmco_7_21_10_2008_23_10_2008_sophia_antipolis_france> <http://schema.org/name> "International Symposium on Formal Methods for Components and Objects, FMCO (7 : 21-10-2008 - 23-10-2008 : Sophia Antipolis, France)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_fmco_7_21_10_2008_23_10_2008_sophia_antipolis_france> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_fmco_7_21_10_2008_23_10_2008_sophia_antipolis_france> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2007_2007_amsterdam_netherlands> <http://schema.org/name> "FMCO 2007 (2007 : Amsterdam, Netherlands)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2007_2007_amsterdam_netherlands> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2007_2007_amsterdam_netherlands> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_7_2008_10_21_23_sophia_antipolis_france> <http://schema.org/name> "FMCO (7 2008.10.21-23 Sophia Antipolis, France)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_7_2008_10_21_23_sophia_antipolis_france> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_7_2008_10_21_23_sophia_antipolis_france> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/781064942> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, the Netherlands, November 7-10, 2006, Revised Lectures" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, the Netherlands, November 7-10, 2006, Revised Lectures"@en .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/466136121> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/643156137> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/object_oriented_programming_computer_science_congresses> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects : 7th international symposium ; revised lectures" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_fmco_5_07_11_2006_10_11_2006_amsterdam_the_netherlands> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal Methods for Components and Objects : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2636077226> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008111658> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/850318920> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/computers_reference> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/277195326> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/computers_data_processing> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/computers_machine_theory> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4 - 7, 2003 ; revised lectures" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_2_leiden_the_netherlands_2003> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects : 5th international symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006 ; revised lectures" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/langages_orientes_objet_informatique_congres> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/607537280> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/softwareentwicklung_formale_methode_kongress_amsterdam_&lt_2006&gt> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/ingenieria_del_software_congresos_en_linea> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/262693823> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/255434197> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/author> <http://worldcat.org/entity/person/id/2706718346> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/652682788> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006 ; revised lectures" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/author> <http://worldcat.org/entity/person/id/2638752027> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2638757429> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/900909452> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_symposium_7th_2008_sophia_antipolis_france> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/780980319> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2632980832> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_5_2006_11_07_10_amsterdam> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/software_desarrollo_congresos> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2005_2005_amsterdam_netherlands> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/873499254> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/313411689> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/861449395#Organization/fmco_&lt_5_2006_amsterdam&gt> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/systeme_objet> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/operating_systems> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, the Netherlands, October 24-26, 2007, Revised Lectures" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, the Netherlands, October 24-26, 2007, Revised Lectures"@en .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/verification_formelle> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_5_2006_11_07_10_amsterdam> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/255917022> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects : 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24 - 26, 2007 ; revised papers" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/alternateName> "FMCO 2003"@en .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/699825628> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/alternateName> "FMCO 2003" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/788057256> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, the Netherlands, November 4-7, 2003 : revised lectures"@en .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/komponente_software> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/author> <http://worldcat.org/entity/person/id/2634280886> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects : 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006 : revised lectures" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/760682022> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/alternateName> "FMCO 2005" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/alternateName> "FMCO 2005"@en .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005 : revised lectures" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_fmco_2_2003_07_11_2003_leiden_the_netherlands> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_6th_2007> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2636077226> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2634787057> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2007_2007_amsterdam_netherlands> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects 6th international symposium ; revised papers" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/845239300> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_4_2005_11_01_04_amsterdam> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/alternateName> "Second International Symposium on Formal Methods for Components and Objects" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2634280886> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/432629139> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/software_desarrollo_congresos_en_linea> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Place/leiden_2003> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/71008339> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/logics_and_meanings_of_programs> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2638752027> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/nb2009026357> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/author> <http://worldcat.org/entity/person/id/2630531462> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/genre> "Online-Publikation" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/description> "Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to more complex systems, resulting from the object-oriented and the more recent component-based software engineering paradigms, requires further development of specification and verification techniques supporting the concepts of reusability and modifiability. This book presents revised tutorial lectures given by invited speakers at the Second International Symposium on Formal Methods for Components and Objects, FMCO 2003, held in Leiden, The Netherlands, in November 2003. The 17 revised lectures by leading researchers present a comprehensive account of the potential of formal methods applied to large and complex software systems such as component-based systems and object systems. The book makes a unique contribution to bridging the gap between theory and practice in software engineering." .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects 6th international symposium FMCO 2007, Amsterdam, the Netherlands, October 24-26, 2007" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/nb2008001235> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85094982> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/author> <http://worldcat.org/entity/person/id/2632980832> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_2_2003_leiden_nl> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh87007503> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures"@en .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/612596043> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2632130040> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/computer_software_development> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects : 4th international symposium, FMCO 2005, Amsterdam, the Netherlands, November 1-4, 2005 : revised lectures"@en .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects : 6th International Symposium, FMCO 2007, Amsterdam, the Netherlands, October 24-26, 2007 - revised papers"@en .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_7_2008_sophia_antipolis> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/genre> "Conference papers and proceedings"@en .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://id.worldcat.org/fast/1046280> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/genre> "Conference papers and proceedings" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2008_2008_amsterdam_netherlands> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_symposium_4th_2005_amsterdam_netherlands> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects 7th international symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures"@en .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects 7th international symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Place/amsterdam_&lt_2006&gt> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects 6th international symposium FMCO 2007, Amsterdam, The Netherlands, October 24 - 26, 2007" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/author> <http://worldcat.org/entity/person/id/2632130040> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/723842940> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal Methods for Components and Objects" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal Methods for Components and Objects"@en .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2636077226> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/403753517> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/author> <http://worldcat.org/entity/person/id/2631090640> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008101470> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2631090640> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects : 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005 : revised lectures"@en .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects : 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005 : revised lectures" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/methode_formelle> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects 4th international symposium, FMCO 2005, Amsterdam, the Netherlands, November 1-4, 2005 : revised lectures" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects 4th international symposium, FMCO 2005, Amsterdam, the Netherlands, November 1-4, 2005 : revised lectures"@en .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2685809185> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects : 4th international symposium : revised lectures" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2634280886> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects : 5th international symposium, FMCO 2006, Amsterdam, The Netherlands, November 7 - 10, 2006 ; revised lectures" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/456728728> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_5th_2006> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/no2005046756> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/690194406> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/861449395#Organization/fmco_2005> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh89003285> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects 5th international symposium ; revised lectures" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://id.worldcat.org/fast/1002045> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/213362164> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/496525173> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/ingenieria_del_software_congresos> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects : 5th international symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006 : revised lectures"@en .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/methodes_formelles_informatique_congres> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/formale_methode> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/403753480> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/249908199> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/computer_software> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/uml> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/858873108> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/formal_methods_computer_science> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/computers_computer_literacy> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/192020393> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/760682020> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/author> <http://worldcat.org/entity/person/id/2626898854> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/640919241> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/858649745> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/systemes_d_exploitation_ordinateurs> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/systemes_conception_de_congres> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_6_2007_10_24_26_amsterdam> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/66650780> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/635618826> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh99003622> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85131736> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/861449395#Organization/fmco_&lt_7_2008_valbonne_sophia_antipolis&gt> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2009_2009_sophia_antipolis_france> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/genre> "Kongress &lt;2006&gt" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/programacion_orientada_a_objetos_congresos_en_linea> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/description> "All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the development methodologies has switched in the last two decades from functional to structural issues. Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires a greater emphasis on specification, modeling, and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java. This state-of-the-art survey presents the outcome of the 7th Symposium on Formal Methods for Components and Objects, held in Sophia Antipolis, France, in October 2008. The volume contains 14 revised contributions submitted after the symposium by speakers from each of the following European IST projects: the IST-FP7 project COMPAS on compliance-driven models, languages, and architectures for services; the IST-FP6 project CREDO on modelling and analysis of evolutionary structures for distributed services; the IST-FP7 DEPLOY on industrial deployment of advanced system engineering methods for high productivity and dependability; the IST-FP6 project GridComp on grid programming with components; and the IST-FP6 project MOBIUS aiming at developing the technology for establishing trust and security for the next generation of global computers, using the proof carrying code paradigm."@en .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85078117> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/476058515> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects second international symposium, FMCO 2003, Leiden, the Netherlands, november 4-7, 2003 : revised lectures" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/56933205> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/458749748> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/author> <http://worldcat.org/entity/person/id/2634787057> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008108548> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://id.worldcat.org/fast/1141401> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/845595408> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_&lt_5_2006_amsterdam&gt> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/436030805> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/computer_science> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects 5th International Symposium, FMCO 2006, Amsterdam, the Netherlands, November 7-10, 2006 : revised lectures"@en .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/alternateName> "International Symposium on Formal Methods for Components and Objects" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, revised lectures"@en .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_5_2006_11_amsterdam> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://id.worldcat.org/fast/1042804> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/756603946> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/composant_logiciel> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey"@en .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_symposium_5th_2006_amsterdam_netherlands> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/858655278> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2005_4th_2005> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects 5th international symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006 : revised lectures" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects 5th international symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006 : revised lectures"@en .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_7th_2008> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures"@en .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/genie_logiciel_congres> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2007_amsterdam_netherlands> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/computers_hardware_general> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects : 7th international symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 ; revised lectures" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/nb2008027687> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/743288950> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/466143736> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/author> <http://worldcat.org/entity/person/id/2641433459> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/komponente_&lt_software&gt> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/827361369> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://viaf.org/viaf/148105729> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/232363491> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/specification_formelle> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Place/sophia_antipolis_&lt_2008&gt> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/alternateName> "FMCO 2007" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/alternateName> "FMCO 2007"@en .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/logic_design> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/computers_information_technology> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2638757429> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/description> "Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages. This book presents 19 revised invited keynote lectures and revised tutorial lectures given by top-researchers at the 4th International Symposium on Formal Methods for Components and Objects, FMCO 2005, held in Amsterdam, Netherlands, in November 2005. The book provides a unique combination of ideas on software engineering and formal methods that reflect the current interest in the application or development of formal methods for large scale software systems such as component-based systems and object systems. The papers are organized in topical sections on component and service oriented computing, system design, tools, algebraic methods, model checking, assertional methods, quantitative analysis."@en .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_fmco_6_24_10_2007_26_10_2007_amsterdam_the_netherlands> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/57127593> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/897640775> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/author> <http://worldcat.org/entity/person/id/2630247502> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2628596502> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised papers"@en .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised papers" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/genre> "Kongress" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/genre> "Kongress"@en .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_6_2007_10_24_26_amsterdam> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/genre> "Kongress &lt;2007&gt" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/author> <http://worldcat.org/entity/person/id/2634177178> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2628266920> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/softwareentwicklung> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/636973940> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/author> <http://worldcat.org/entity/person/id/2628596502> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/150390387> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/author> <http://worldcat.org/entity/person/id/2636077226> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://viaf.org/viaf/133952375> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/861449395#Organization/fmco_2003> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2008_2008_sophia_antipolis_france> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/logiciels_developpement_congres> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/613491477> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects : 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1 - 4, 2005 ; revised lectures" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh87007398> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/programmation_orientee_objet_informatique_congres> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/636163700> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/nr97025099> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/ebooks_uml> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/informatique> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/structure_logique> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects 6th international symposium FMCO 2007, Amsterdam, the Netherlands, October 24-26, 2007, revised papers"@en .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2634177178> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/551400910> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://id.worldcat.org/fast/871617> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2006_2006_amsterdam_netherlands> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/component_software_congresses> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/service_web> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006 : revised lectures" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008112431> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/softwareentwicklung_formale_methode_kongress_sophia_antipolis_&lt_2008&gt> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects : 6th international symposium, FMCO 2007, Amsterdam, the Netherlands, October 24-26, 2007 ; revised papers"@en .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects 5th international symposium, FMCO 2006, Amsterdam, the Netherlands, November 7-10, 2006 : revised lectures" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/879085147> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/genre> "Ressources Internet" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/author> <http://worldcat.org/entity/person/id/2685809185> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2706718346> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal Methods for Components and Objects Second International Symposium, FMCO 2003, Leiden, the Netherlands, November 4-7, 2003. Revised Lectures"@en .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal Methods for Components and Objects Second International Symposium, FMCO 2003, Leiden, the Netherlands, November 4-7, 2003. Revised Lectures" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/genie_logiciel> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects 6th international symposium, FMCO 2007, Amsterdam, the Netherlands, October 24-26, 2007 : revised papers"@en .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/description> "Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages. This book presents 12 revised lectures given by top-researchers at the 5th International Symposium on Formal Methods for Components and Objects, FMCO 2006, held in Amsterdam, Netherlands, in November 2006. The book provides a unique combination of ideas on software engineering and formal methods that reflect the current interest in the application or development of formal methods for large scale software systems such as component-based systems and object systems. The papers are organized in topical sections on component and service oriented computing, system design, tools, algebraic methods, model checking, assertional methods, and quantitative analysis."@en .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for Components and Objects 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, revised lectures" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2005_4_2005_11_01_04_amsterdam> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2005_4th_2005_amsterdam_netherlands> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/description> "Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages. This book presents 12 revised lectures given by top-researchers at the 5th International Symposium on Formal Methods for Components and Objects, FMCO 2006, held in Amsterdam, Netherlands, in November."@en .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://id.worldcat.org/fast/872451> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_7_2008_10_21_23_sophia_antipolis_france> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/component_software> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_symposium_6th_2007_amsterdam_netherlands> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://viaf.org/viaf/263941687> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects second international symposium : revised lectures" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_fmco_7_21_10_2008_23_10_2008_sophia_antipolis_france> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2695387284> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008104061> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2630531462> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2003_2_2003_11_04_07_leiden> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/845473145> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/softwareentwicklung_objektorientierung_komponente_&lt_software&gt_formale_methode_kongress_sophia_antipolis_&lt_2008&gt> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/896304790> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/298552591> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2638472312> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/840408903> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/informatique_mobile> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_2_2003_11_04_07_leiden> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2630247502> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/458562937> .
<http://worldcat.org/entity/work/id/861449395> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects 5th international symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006 : revised lectures"@en .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal Methods for Components and Objects : 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/312375581> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/composants_logiciels_congres> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/electronic_books> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/855378667> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/861449395#Organization/fmco_&lt_6_2007_amsterdam&gt> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/798850770> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/programmation_orientee_objet_informatique> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/229446289> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2003_2º_2003_leiden_holanda> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/856676934> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects 6th international symposium FMCO 2007, Amsterdam, The Netherlands, October 24 - 26, 2007, revised papers" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/system_design> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://viaf.org/viaf/130446772> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/author> <http://worldcat.org/entity/person/id/2628266920> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/664118563> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_5_2006_11_amsterdam> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://id.worldcat.org/fast/932926> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_symposium_2nd_2003_leiden_netherlands> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/496624370> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Place/amsterdam_&lt_2007&gt> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://viaf.org/viaf/140983846> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/programmation_orientee_objets_informatique_congres> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/operating_systems_computers> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/programmation_orientee_objet> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/473724336> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/474505324> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/programacion_orientada_a_objetos_congresos> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/300265325> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/computers_computer_science> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/genre> "Electronic books"@en .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/genre> "Electronic books" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/approche_orientee_objet_informatique_congres> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/496819245> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2636347788> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2005_2005_amsterdam_netherlands> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/861449395#Organization/springerlink_service_en_ligne> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/software_engineering> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects : Second International Symposium, FMCO 2003 : Leiden, The Netherlands, November 4-7, 2003 : revised lectures" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/793076833> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_5_2006_amsterdam> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2626898854> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2641433459> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/760873185> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/formal_methods_computer_science_congresses> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2008_2008_amsterdam_pays_bas> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/methodes_formelles_informatique> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/objektorientierung> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/176931925> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2637026262> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects : second international symposium : revised lectures" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/programming_languages_compilers_interpreters> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/author> <http://worldcat.org/entity/person/id/2638472312> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/alternateName> "FMCO 2006"@en .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/276980073> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/alternateName> "FMCO 2006" .
<http://worldcat.org/entity/work/id/861449395> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/alternateName> "FMCO 2008"@en .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/alternateName> "FMCO 2008" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2003_2003_leiden_netherlands> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/311303801> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/developpement_de_logiciels> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/approche_orientee_objet> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects : 6th international symposium" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects : 6th international symposium"@en .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_7_2008_10_21_23_sophia_antipolis_france> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/912334885> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects second international symposium, FMCO 2003, Leiden, the Netherlands, November 4-7, 2003 : revised lectures"@en .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://id.worldcat.org/fast/1124185> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/object_oriented_programming_computer_science> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/496685386> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2632980832> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007 : revised papers" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/mathematical_logic_and_formal_languages> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/402313710> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/formale_spezifikationstechnik> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/author> <http://worldcat.org/entity/person/id/2636347788> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/861449395#Topic/softwareentwicklung_objektorientierung_komponente_&lt_software&gt_formale_methode_kongress_amsterdam_&lt_2006&gt> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/name> "Formal methods for components and objects : 6th international symposium : revised papers" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/genre> "Conference proceedings" .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/genre> "Conference proceedings"@en .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/genre> "Sophia-Antipolis (2008)"@en .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh98001790> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2685809185> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/workExample> <http://www.worldcat.org/oclc/873612934> .
<http://worldcat.org/entity/work/id/861449395> <http://schema.org/author> <http://worldcat.org/entity/person/id/2638757429> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/programacion_orientada_a_objetos_congresos> <http://schema.org/name> "Programación orientada a objetos Congresos." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/programacion_orientada_a_objetos_congresos> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/softwareentwicklung_formale_methode_kongress_sophia_antipolis_&lt_2008&gt> <http://schema.org/name> "Softwareentwicklung Formale Methode Kongress Sophia-Antipolis &lt;2008&gt;" .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/softwareentwicklung_formale_methode_kongress_sophia_antipolis_&lt_2008&gt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/computer_science> <http://schema.org/name> "Computer Science." .
<http://experiment.worldcat.org/entity/work/data/861449395#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/861449395#Topic/computer_science> <http://schema.org/name> "Computer science." .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_5_2006_11_amsterdam> <http://schema.org/name> "International Symposium on Formal Methods for Components and Objects (5 : 2006.11 : Amsterdam)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_5_2006_11_amsterdam> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_5_2006_11_amsterdam> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/operating_systems> <http://schema.org/name> "Operating Systems." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/operating_systems> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/operating_systems> <http://schema.org/name> "Operating Systems" .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/uml> <http://schema.org/name> "UML." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/uml> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/composants_logiciels_congres> <http://schema.org/name> "Composants logiciels Congrès." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/composants_logiciels_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/softwareentwicklung> <http://schema.org/name> "Softwareentwicklung." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/softwareentwicklung> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/softwareentwicklung> <http://schema.org/name> "Softwareentwicklung" .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_fmco_2_2003_07_11_2003_leiden_the_netherlands> <http://schema.org/name> "International Symposium on Formal Methods for Components and Objects, FMCO (2 : 2003 - 07-11-2003 : Leiden, the Netherlands)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_fmco_2_2003_07_11_2003_leiden_the_netherlands> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_fmco_2_2003_07_11_2003_leiden_the_netherlands> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/methodes_formelles_informatique_congres> <http://schema.org/name> "Méthodes formelles (Informatique) Congrès." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/methodes_formelles_informatique_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/methodes_formelles_informatique_congres> <http://schema.org/name> "Méthodes formelles (informatique) Congrès." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/electronic_books> <http://schema.org/name> "Electronic books." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/electronic_books> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_4_2005_11_01_04_amsterdam> <http://schema.org/name> "International Symposium on Formal Methods for Components and Objects (4 : 2005.11.01-04 : Amsterdam)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_4_2005_11_01_04_amsterdam> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_4_2005_11_01_04_amsterdam> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/genie_logiciel_congres> <http://schema.org/name> "Génie logiciel Congrès." .
<http://experiment.worldcat.org/entity/work/data/861449395#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/861449395#Meeting/fmco_symposium_2nd_2003_leiden_netherlands> <http://schema.org/name> "FMCO (Symposium) (2nd : 2003 : Leiden, Netherlands)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_symposium_2nd_2003_leiden_netherlands> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_symposium_2nd_2003_leiden_netherlands> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2003_2_2003_11_04_07_leiden> <http://schema.org/name> "FMCO 2003 (2 : 2003.11.04-07 : Leiden)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2003_2_2003_11_04_07_leiden> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2003_2_2003_11_04_07_leiden> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/programming_languages_compilers_interpreters> <http://schema.org/name> "Programming Languages, Compilers, Interpreters." .
<http://experiment.worldcat.org/entity/work/data/861449395#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/861449395#Topic/programming_languages_compilers_interpreters> <http://schema.org/name> "Programming Languages, Compilers, Interpreters" .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/systeme_objet> <http://schema.org/name> "système objet." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/systeme_objet> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Organization/fmco_2005> <http://schema.org/name> "FMCO 2005 :" .
<http://experiment.worldcat.org/entity/work/data/861449395#Organization/fmco_2005> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/komponente_software> <http://schema.org/name> "Komponente (Software)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/komponente_software> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/computers_data_processing> <http://schema.org/name> "COMPUTERS Data Processing." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/computers_data_processing> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2005_2005_amsterdam_netherlands> <http://schema.org/name> "FMCO 2005 (2005 : Amsterdam, Netherlands)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2005_2005_amsterdam_netherlands> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2005_2005_amsterdam_netherlands> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/informatique_mobile> <http://schema.org/name> "informatique mobile." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/informatique_mobile> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/object_oriented_programming_computer_science> <http://schema.org/name> "Object-oriented programming (Computer science)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/object_oriented_programming_computer_science> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/object_oriented_programming_computer_science> <http://schema.org/name> "Object-oriented Programming (Computer Science)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_2_leiden_the_netherlands_2003> <http://schema.org/name> "International symposium on formal methods for components and objects (2. : Leiden, The Netherlands : 2003)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_2_leiden_the_netherlands_2003> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_2_leiden_the_netherlands_2003> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/861449395#Place/sophia_antipolis_&lt_2008&gt> <http://schema.org/name> "Sophia-Antipolis &lt;2008&gt;" .
<http://experiment.worldcat.org/entity/work/data/861449395#Place/sophia_antipolis_&lt_2008&gt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Place> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_symposium_5th_2006_amsterdam_netherlands> <http://schema.org/name> "FMCO (Symposium) (5th : 2006 : Amsterdam, Netherlands)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_symposium_5th_2006_amsterdam_netherlands> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_symposium_5th_2006_amsterdam_netherlands> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/mathematical_logic_and_formal_languages> <http://schema.org/name> "Mathematical Logic and Formal Languages." .
<http://experiment.worldcat.org/entity/work/data/861449395#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/861449395#Topic/softwareentwicklung_objektorientierung_komponente_&lt_software&gt_formale_methode_kongress_sophia_antipolis_&lt_2008&gt> <http://schema.org/name> "Softwareentwicklung Objektorientierung Komponente &lt;Software&gt; Formale Methode Kongress Sophia-Antipolis &lt;2008&gt;" .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/softwareentwicklung_objektorientierung_komponente_&lt_software&gt_formale_methode_kongress_sophia_antipolis_&lt_2008&gt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_6_2007_10_24_26_amsterdam> <http://schema.org/name> "FMCO (6 2007.10.24-26 Amsterdam)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_6_2007_10_24_26_amsterdam> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_6_2007_10_24_26_amsterdam> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_5_2006_11_07_10_amsterdam> <http://schema.org/name> "FMCO (5 2006.11.07-10 Amsterdam)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_5_2006_11_07_10_amsterdam> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_5_2006_11_07_10_amsterdam> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/computers_hardware_general> <http://schema.org/name> "COMPUTERS Hardware General." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/computers_hardware_general> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2005_4th_2005_amsterdam_netherlands> <http://schema.org/name> "FMCO 2005 (4th : 2005 : Amsterdam, Netherlands)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2005_4th_2005_amsterdam_netherlands> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2005_4th_2005_amsterdam_netherlands> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_fmco_5_07_11_2006_10_11_2006_amsterdam_the_netherlands> <http://schema.org/name> "International Symposium on Formal Methods for Components and Objects, FMCO (5 : 07-11-2006 - 10-11-2006 : Amsterdam, The Netherlands)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_fmco_5_07_11_2006_10_11_2006_amsterdam_the_netherlands> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_fmco_5_07_11_2006_10_11_2006_amsterdam_the_netherlands> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/ingenieria_del_software_congresos_en_linea> <http://schema.org/name> "Ingeniería del software Congresos En línea." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/ingenieria_del_software_congresos_en_linea> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/methodes_formelles_informatique> <http://schema.org/name> "Méthodes formelles (Informatique)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/methodes_formelles_informatique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/programmation_orientee_objets_informatique_congres> <http://schema.org/name> "Programmation orientée objets (informatique) Congrès." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/programmation_orientee_objets_informatique_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2003_2003_leiden_netherlands> <http://schema.org/name> "FMCO 2003 (2003 : Leiden, Netherlands)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2003_2003_leiden_netherlands> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2003_2003_leiden_netherlands> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2007_amsterdam_netherlands> <http://schema.org/name> "FMCO (2007 : Amsterdam, Netherlands)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2007_amsterdam_netherlands> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2007_amsterdam_netherlands> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_symposium_7th_2008_sophia_antipolis_france> <http://schema.org/name> "FMCO (Symposium) (7th : 2008 : Sophia Antipolis, France)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_symposium_7th_2008_sophia_antipolis_france> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_symposium_7th_2008_sophia_antipolis_france> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/programmation_orientee_objet_informatique_congres> <http://schema.org/name> "Programmation orientée objet (Informatique) Congrès." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/programmation_orientee_objet_informatique_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/softwareentwicklung_formale_methode_kongress_amsterdam_&lt_2006&gt> <http://schema.org/name> "Softwareentwicklung Formale Methode Kongress Amsterdam &lt;2006&gt;" .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/softwareentwicklung_formale_methode_kongress_amsterdam_&lt_2006&gt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/computers_information_technology> <http://schema.org/name> "COMPUTERS Information Technology." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/computers_information_technology> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2003_2º_2003_leiden_holanda> <http://schema.org/name> "FMCO 2003 (2º. 2003. Leiden, Holanda)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2003_2º_2003_leiden_holanda> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2003_2º_2003_leiden_holanda> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/specification_formelle> <http://schema.org/name> "spécification formelle." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/specification_formelle> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_&lt_5_2006_amsterdam&gt> <http://schema.org/name> "FMCO &lt;5, 2006, Amsterdam&gt;" .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_&lt_5_2006_amsterdam&gt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_&lt_5_2006_amsterdam&gt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/861449395#Organization/fmco_&lt_6_2007_amsterdam&gt> <http://schema.org/name> "FMCO &lt;6, 2007, Amsterdam&gt;" .
<http://experiment.worldcat.org/entity/work/data/861449395#Organization/fmco_&lt_6_2007_amsterdam&gt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/approche_orientee_objet_informatique_congres> <http://schema.org/name> "Approche orientée objet (Informatique) Congrès." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/approche_orientee_objet_informatique_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/service_web> <http://schema.org/name> "service Web." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/service_web> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/component_software_congresses> <http://schema.org/name> "Component software Congresses." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/component_software_congresses> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/methode_formelle> <http://schema.org/name> "méthode formelle." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/methode_formelle> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/methode_formelle> <http://schema.org/name> "Méthode formelle." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/formal_methods_computer_science> <http://schema.org/name> "Formal methods (Computer science)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/formal_methods_computer_science> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/software_desarrollo_congresos> <http://schema.org/name> "Software Desarrollo Congresos." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/software_desarrollo_congresos> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2008_2008_amsterdam_netherlands> <http://schema.org/name> "FMCO 2008 (2008 : Amsterdam, Netherlands)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2008_2008_amsterdam_netherlands> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2008_2008_amsterdam_netherlands> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_2_2003_11_04_07_leiden> <http://schema.org/name> "International Symposium on Formal Methods for Components and Objects (2 : 2003.11.04-07 : Leiden)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_2_2003_11_04_07_leiden> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_2_2003_11_04_07_leiden> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_5_2006_11_amsterdam> <http://schema.org/name> "FMCO (5 : 2006.11 : Amsterdam)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_5_2006_11_amsterdam> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_5_2006_11_amsterdam> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/861449395#Place/leiden_2003> <http://schema.org/name> "Leiden (2003)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Place/leiden_2003> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Place> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2008_2008_amsterdam_pays_bas> <http://schema.org/name> "FMCO 2008 (2008 : Amsterdam, Pays-Bas)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2008_2008_amsterdam_pays_bas> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2008_2008_amsterdam_pays_bas> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/systemes_conception_de_congres> <http://schema.org/name> "Systèmes, Conception de Congrès." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/systemes_conception_de_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects> <http://schema.org/name> "International Symposium on Formal Methods for Components and Objects." .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/861449395#Organization/fmco_2003> <http://schema.org/name> "FMCO 2003 :" .
<http://experiment.worldcat.org/entity/work/data/861449395#Organization/fmco_2003> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_7_2008_sophia_antipolis> <http://schema.org/name> "FMCO (7 : 2008 : Sophia Antipolis)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_7_2008_sophia_antipolis> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_7_2008_sophia_antipolis> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/logics_and_meanings_of_programs> <http://schema.org/name> "Logics and Meanings of Programs." .
<http://experiment.worldcat.org/entity/work/data/861449395#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/861449395#Topic/logics_and_meanings_of_programs> <http://schema.org/name> "Logics and Meanings of Programs" .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/computer_software> <http://schema.org/name> "Computer Software." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/computer_software> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/software_engineering> <http://schema.org/name> "Software Engineering." .
<http://experiment.worldcat.org/entity/work/data/861449395#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/861449395#Topic/software_engineering> <http://schema.org/name> "Software engineering." .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2005_4th_2005> <http://schema.org/name> "FMCO 2005 (4th : 2005)." .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2005_4th_2005> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2005_4th_2005> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_6_2007_10_24_26_amsterdam> <http://schema.org/name> "International Symposium on Formal Methods for Components and Objects (6 2007.10.24-26 Amsterdam)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_6_2007_10_24_26_amsterdam> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_6_2007_10_24_26_amsterdam> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_5_2006_11_07_10_amsterdam> <http://schema.org/name> "International Symposium on Formal Methods for Components and Objects (5 2006.11.07-10 Amsterdam)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_5_2006_11_07_10_amsterdam> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_5_2006_11_07_10_amsterdam> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/component_software> <http://schema.org/name> "Component software." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/component_software> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/component_software> <http://schema.org/name> "Component software" .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2006_2006_amsterdam_netherlands> <http://schema.org/name> "FMCO 2006 (2006 : Amsterdam, Netherlands)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2006_2006_amsterdam_netherlands> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2006_2006_amsterdam_netherlands> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_symposium_4th_2005_amsterdam_netherlands> <http://schema.org/name> "FMCO (Symposium) (4th : 2005 : Amsterdam, Netherlands)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_symposium_4th_2005_amsterdam_netherlands> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_symposium_4th_2005_amsterdam_netherlands> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/systemes_d_exploitation_ordinateurs> <http://schema.org/name> "Systèmes d'exploitation (Ordinateurs)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/systemes_d_exploitation_ordinateurs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/programmation_orientee_objet> <http://schema.org/name> "Programmation orientée objet." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/programmation_orientee_objet> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2009_2009_sophia_antipolis_france> <http://schema.org/name> "FMCO 2009 (2009 : Sophia Antipolis, France)" .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2009_2009_sophia_antipolis_france> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_2009_2009_sophia_antipolis_france> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/software_desarrollo_congresos_en_linea> <http://schema.org/name> "Software Desarrollo Congresos En línea." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/software_desarrollo_congresos_en_linea> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/genie_logiciel> <http://schema.org/name> "Génie logiciel." .
<http://experiment.worldcat.org/entity/work/data/861449395#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/861449395#Topic/computers_reference> <http://schema.org/name> "COMPUTERS Reference." .
<http://experiment.worldcat.org/entity/work/data/861449395#Topic/computers_reference> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_5th_2006> <http://schema.org/name> "International Symposium on Formal Methods for Components and Objects (5th : 2006)." .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_5th_2006> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/international_symposium_on_formal_methods_for_components_and_objects_5th_2006> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .