This HTML5 document contains 9 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
n6http://dbkwik.webdatacommons.org/ontology/
dctermshttp://purl.org/dc/terms/
n12http://dbkwik.webdatacommons.org/resource/sz3pQa8xzuYYufvNpGPZHA==
n2http://dbkwik.webdatacommons.org/resource/0rR7airxNqs0_TspUuaJRw==
n7http://dbkwik.webdatacommons.org/resource/0T4XjeRrgAbA0ICjedplqg==
n8http://dbkwik.webdatacommons.org/formalmethods/property/
rdfshttp://www.w3.org/2000/01/rdf-schema#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n10http://dbkwik.webdatacommons.org/resource/MsFuySjqqOoJbojUz2qb9g==
n5http://dbkwik.webdatacommons.org/resource/m7_XO6B-MEQIk3xczpDt9w==
xsdhhttp://www.w3.org/2001/XMLSchema#
n11http://dbkwik.webdatacommons.org/resource/49rPncCdyEq2Cg9Y1_3pkQ==
n9http://dbkwik.webdatacommons.org/resource/6rtchO8QZOwb0xqq7pHkwQ==
Subject Item
n2:
rdfs:label
FM2011
rdfs:comment
FM 2011, the 17th International Symposium on Formal Methods, is a formal methods conference being held at the University of Limerick↑, on the edge of the city of Limerick↑, Republic of Ireland↑, 20–24 June 2011. It is organized under the auspices of Formal Methods Europe. The local organizer is Lero.
dcterms:subject
n5: n7: n10: n11: n12:
n8:wikiPageUsesTemplate
n9:
n6:abstract
FM 2011, the 17th International Symposium on Formal Methods, is a formal methods conference being held at the University of Limerick↑, on the edge of the city of Limerick↑, Republic of Ireland↑, 20–24 June 2011. It is organized under the auspices of Formal Methods Europe. The local organizer is Lero.