<http://experiment.worldcat.org/entity/work/data/793791906#Topic/objektorientierung> <http://schema.org/name> "Objektorientierung." .
<http://experiment.worldcat.org/entity/work/data/793791906#Topic/objektorientierung> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/793791906#Organization/foveoos_&lt_2010_paris&gt> <http://schema.org/name> "FoVeOOS. &lt;2010, Paris&gt;." .
<http://experiment.worldcat.org/entity/work/data/793791906#Organization/foveoos_&lt_2010_paris&gt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/793791906#Topic/computer_software_verification> <http://schema.org/name> "Computer software Verification." .
<http://experiment.worldcat.org/entity/work/data/793791906#Topic/computer_software_verification> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/793791906#Meeting/foveoos_conference_2010_paris_france> <http://schema.org/name> "FoVeOOS (Conference) (2010 : Paris, France)" .
<http://experiment.worldcat.org/entity/work/data/793791906#Meeting/foveoos_conference_2010_paris_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/793791906#Meeting/foveoos_conference_2010_paris_france> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/793791906#Meeting/foveoos_conference_2010_paris_france> <http://schema.org/name> "FoVeOOS (Conference) : (2010 : Paris, France)" .
<http://experiment.worldcat.org/entity/work/data/793791906#Topic/approche_orientee_objet> <http://schema.org/name> "Approche orientée objet." .
<http://experiment.worldcat.org/entity/work/data/793791906#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/793791906.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/793791906.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/793791906> .
<http://experiment.worldcat.org/entity/work/data/793791906#Meeting/international_conference_on_formal_verification_of_object_oriented_software_2010_paris_franca> <http://schema.org/name> "International Conference on Formal Verification of Object-Oriented Software (2010 : Paris, França)" .
<http://experiment.worldcat.org/entity/work/data/793791906#Meeting/international_conference_on_formal_verification_of_object_oriented_software_2010_paris_franca> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/793791906#Meeting/international_conference_on_formal_verification_of_object_oriented_software_2010_paris_franca> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/793791906#Topic/formal_methods_computer_science_congresses> <http://schema.org/name> "Formal methods (Computer science) Congresses." .
<http://experiment.worldcat.org/entity/work/data/793791906#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/793791906#Topic/object_oriented_methods_computer_science_congresses> <http://schema.org/name> "Object-oriented methods (Computer science) Congresses." .
<http://experiment.worldcat.org/entity/work/data/793791906#Topic/object_oriented_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/793791906#Topic/methodes_formelles_informatique> <http://schema.org/name> "Méthodes formelles (Informatique)" .
<http://experiment.worldcat.org/entity/work/data/793791906#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/793791906#Meeting/international_conference_on_formal_verification_of_object_oriented_software_foveoos_28_06_2010_30_06_2010_paris_france> <http://schema.org/name> "International Conference on Formal Verification of Object-Oriented Software, FoVeOOS (28-06-2010 - 30-06-2010 : Paris, France)" .
<http://experiment.worldcat.org/entity/work/data/793791906#Meeting/international_conference_on_formal_verification_of_object_oriented_software_foveoos_28_06_2010_30_06_2010_paris_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/793791906#Meeting/international_conference_on_formal_verification_of_object_oriented_software_foveoos_28_06_2010_30_06_2010_paris_france> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/793791906#Topic/programacio_orientada_a_l_objecte_informatica_congressos> <http://schema.org/name> "Programació orientada a l'objecte (Informàtica) Congressos." .
<http://experiment.worldcat.org/entity/work/data/793791906#Topic/programacio_orientada_a_l_objecte_informatica_congressos> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/793791906#Topic/logiciels_verification> <http://schema.org/name> "Logiciels Vérification." .
<http://experiment.worldcat.org/entity/work/data/793791906#Topic/logiciels_verification> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/793791906#Topic/logiciels_verification_congres> <http://schema.org/name> "Logiciels Vérification Congrès." .
<http://experiment.worldcat.org/entity/work/data/793791906#Topic/logiciels_verification_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/793791906#Topic/formale_methode> <http://schema.org/name> "Formale Methode." .
<http://experiment.worldcat.org/entity/work/data/793791906#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/793791906#Topic/computer_software_verification_congresses> <http://schema.org/name> "Computer software Verification Congresses." .
<http://experiment.worldcat.org/entity/work/data/793791906#Topic/computer_software_verification_congresses> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/793791906#Place/paris_&lt_2010&gt> <http://schema.org/name> "Paris &lt;2010&gt;" .
<http://experiment.worldcat.org/entity/work/data/793791906#Place/paris_&lt_2010&gt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Place> .
<http://experiment.worldcat.org/entity/work/data/793791906#Topic/informatique> <http://schema.org/name> "Informatique." .
<http://experiment.worldcat.org/entity/work/data/793791906#Topic/informatique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/793791906#Meeting/foveoos_2010_paris_france_2010> <http://schema.org/name> "FoVeOOS 2010 (Paris, France) (2010)." .
<http://experiment.worldcat.org/entity/work/data/793791906#Meeting/foveoos_2010_paris_france_2010> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/793791906#Meeting/foveoos_2010_paris_france_2010> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/793791906#Topic/langage_oriente_objets> <http://schema.org/name> "Langage orienté objets." .
<http://experiment.worldcat.org/entity/work/data/793791906#Topic/langage_oriente_objets> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/793791906#Meeting/international_conference_foveoos_2010_paris_france> <http://schema.org/name> "International Conference FoVeOOS (2010 : Paris, France)" .
<http://experiment.worldcat.org/entity/work/data/793791906#Meeting/international_conference_foveoos_2010_paris_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/793791906#Meeting/international_conference_foveoos_2010_paris_france> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/793791906#Meeting/foveoos_2010_2010_paris_france> <http://schema.org/name> "FoVeOOS 2010 (2010 : Paris, France)" .
<http://experiment.worldcat.org/entity/work/data/793791906#Meeting/foveoos_2010_2010_paris_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/793791906#Meeting/foveoos_2010_2010_paris_france> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/793791906#Topic/verification_de_logiciels> <http://schema.org/name> "Vérification de logiciels." .
<http://experiment.worldcat.org/entity/work/data/793791906#Topic/verification_de_logiciels> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/793791906#Meeting/foveoos_2010_06_28_30_paris> <http://schema.org/name> "FoVeOOS (2010.06.28-30 Paris)" .
<http://experiment.worldcat.org/entity/work/data/793791906#Meeting/foveoos_2010_06_28_30_paris> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/793791906#Meeting/foveoos_2010_06_28_30_paris> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/793791906#Topic/information_systems> <http://schema.org/name> "Information Systems" .
<http://experiment.worldcat.org/entity/work/data/793791906#Topic/information_systems> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/793791906#Topic/softwareprodukt> <http://schema.org/name> "Softwareprodukt." .
<http://experiment.worldcat.org/entity/work/data/793791906#Topic/softwareprodukt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/793791906#Organization/springerlink_service_en_ligne> <http://schema.org/name> "SpringerLink (Service en ligne)" .
<http://experiment.worldcat.org/entity/work/data/793791906#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/793791906#Topic/verification_formelle> <http://schema.org/name> "Vérification formelle." .
<http://experiment.worldcat.org/entity/work/data/793791906#Topic/verification_formelle> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2642330814> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/793791906#Meeting/international_conference_on_formal_verification_of_object_oriented_software_2010_paris_franca> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/793791906#Topic/informatique> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/793791906#Topic/approche_orientee_objet> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/about> <http://id.worldcat.org/fast/932926> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/793791906#Topic/objektorientierung> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/name> "Formal verification of object-oriented software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers" .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/genre> "Llibres electrònics" .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/793791906#Meeting/foveoos_2010_paris_france_2010> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/about> <http://id.worldcat.org/fast/872604> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/793791906#Topic/formal_methods_computer_science> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/contributor> <http://viaf.org/viaf/163896372> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/793791906#Topic/methodes_formelles_informatique> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2006006405> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh87007398> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2009121254> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/alternateName> "FoVeOOS 2010" .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/about> <http://id.worldcat.org/fast/1124185> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/793791906#Meeting/foveoos_2010_06_28_30_paris> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/genre> "Conference papers and proceedings" .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/genre> "Conference papers and proceedings"@en .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh89003285> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/genre> "Conference proceedings" .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/workExample> <http://www.worldcat.org/oclc/709839947> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/workExample> <http://www.worldcat.org/oclc/706961619> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008104061> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/workExample> <http://www.worldcat.org/oclc/793155350> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/793791906#Meeting/international_conference_foveoos_2010_paris_france> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2637602770> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/793791906#Topic/verifikation> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/793791906#Topic/information_systems> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/793791906#Topic/programmation_orientee_objets_informatique_congres> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/name> "Formal verification of object-oriented software : international conference, FoVeOOS 2010, Paris, France, June 28 - 30, 2010 ; revised selected papers" .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/793791906#Topic/formal_methods_computer_science_congresses> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/name> "Formal verification of object-oriented software : international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers"@en .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/793791906#Topic/objektorientierte_programmiersprache> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/genre> "Electronic books" .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/793791906#Topic/object_oriented_methods_computer_science> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85078117> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/genre> "Electronic books"@en .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/workExample> <http://www.worldcat.org/oclc/698166090> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/genre> "Kongress"@en .
<http://worldcat.org/entity/work/id/793791906> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/793791906#Topic/programacio_orientada_a_l_objecte_informatica> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/about> <http://id.worldcat.org/fast/872451> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/genre> "Kongress" .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/793791906#Topic/verification_formelle> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/793791906#Topic/logiciels_verification_congres> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/793791906#Topic/formale_methode> .
<http://worldcat.org/entity/work/id/793791906> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/793791906#Meeting/foveoos_conference_2010_paris_france> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2637602770> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/workExample> <http://www.worldcat.org/oclc/704393873> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/workExample> <http://www.worldcat.org/oclc/905277768> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/793791906#Topic/programacio_orientada_a_l_objecte_informatica_congressos> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/about> <http://id.worldcat.org/fast/1042803> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/793791906#Meeting/foveoos_2010_2010_paris_france> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/793791906#Place/paris_&lt_2010&gt> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/name> "Formal verification of object-oriented software international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, revised selected papers"@en .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2010104112> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/793791906#Organization/springerlink_service_en_ligne> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/793791906#Meeting/international_conference_on_formal_verification_of_object_oriented_software_2010_06_28_30_paris> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/793791906#Topic/computer_software_verification> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/workExample> <http://www.worldcat.org/oclc/846406497> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/793791906#Topic/softwareprodukt> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/workExample> <http://www.worldcat.org/oclc/706023075> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/workExample> <http://www.worldcat.org/oclc/827772801> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/about> <http://id.worldcat.org/fast/1741387> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/about> <http://id.worldcat.org/fast/1002045> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/name> "Formal verification of object-oriented software : International Conference, FoVeOOS 2010, Paris, France, June 28 - 30, 2010; revised selected papers" .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/793791906#Organization/foveoos_&lt_2010_paris&gt> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/workExample> <http://www.worldcat.org/oclc/708564654> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/793791906#Topic/logiciels_verification> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/workExample> <http://www.worldcat.org/oclc/805065518> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/793791906#Topic/verification_de_logiciels> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/name> "Formal verification of object-oriented software international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers"@en .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/name> "Formal verification of object-oriented software international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers" .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/793791906#Topic/computer_software_verification_congresses> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/nb2011003302> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/793791906#Meeting/international_conference_on_formal_verification_of_object_oriented_software_foveoos_28_06_2010_30_06_2010_paris_france> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/793791906#Topic/langage_oriente_objets> .
<http://worldcat.org/entity/work/id/793791906> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/793791906#Topic/object_oriented_methods_computer_science_congresses> .
<http://experiment.worldcat.org/entity/work/data/793791906#Topic/programmation_orientee_objets_informatique_congres> <http://schema.org/name> "Programmation orientée objets (informatique) Congrès." .
<http://experiment.worldcat.org/entity/work/data/793791906#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/793791906#Topic/object_oriented_methods_computer_science> <http://schema.org/name> "Object-oriented methods (Computer science)" .
<http://experiment.worldcat.org/entity/work/data/793791906#Topic/object_oriented_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/793791906#Topic/objektorientierte_programmiersprache> <http://schema.org/name> "Objektorientierte Programmiersprache." .
<http://experiment.worldcat.org/entity/work/data/793791906#Topic/objektorientierte_programmiersprache> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/793791906#Topic/verifikation> <http://schema.org/name> "Verifikation." .
<http://experiment.worldcat.org/entity/work/data/793791906#Topic/verifikation> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/793791906#Topic/programacio_orientada_a_l_objecte_informatica> <http://schema.org/name> "Programació orientada a l'objecte (Informàtica)" .
<http://experiment.worldcat.org/entity/work/data/793791906#Topic/programacio_orientada_a_l_objecte_informatica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/793791906#Meeting/international_conference_on_formal_verification_of_object_oriented_software_2010_06_28_30_paris> <http://schema.org/name> "International Conference on Formal Verification of Object-Oriented Software (2010.06.28-30 Paris)" .
<http://experiment.worldcat.org/entity/work/data/793791906#Meeting/international_conference_on_formal_verification_of_object_oriented_software_2010_06_28_30_paris> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/793791906#Meeting/international_conference_on_formal_verification_of_object_oriented_software_2010_06_28_30_paris> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/793791906#Topic/formal_methods_computer_science> <http://schema.org/name> "Formal methods (Computer science)" .
<http://experiment.worldcat.org/entity/work/data/793791906#Topic/formal_methods_computer_science> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .