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

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

PrefixNamespace IRI
dctermshttp://purl.org/dc/terms/
n4http://dbkwik.webdatacommons.org/ontology/
n8http://dbkwik.webdatacommons.org/formalmethods/property/
n6http://dbkwik.webdatacommons.org/resource/JjBkxzVcMXEiZ0yArlOYyA==
rdfshttp://www.w3.org/2000/01/rdf-schema#
n11http://dbkwik.webdatacommons.org/resource/SCPMXXjt_2fxL3vBYZhg5w==
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n7http://dbkwik.webdatacommons.org/resource/fpCdoolBvBXmdT-wOkmlpw==
n2http://dbkwik.webdatacommons.org/resource/VwOUBrYudVVC5_ebqE-4ZA==
xsdhhttp://www.w3.org/2001/XMLSchema#
n10http://dbkwik.webdatacommons.org/resource/49rPncCdyEq2Cg9Y1_3pkQ==
n9http://dbkwik.webdatacommons.org/resource/6rtchO8QZOwb0xqq7pHkwQ==
Subject Item
n2:
rdfs:label
Teaching Formal Methods
rdfs:comment
Teaching Formal Methods (TFM) is a series of meetings, held in association with Formal Methods Europe and its FM conference series. It has produced published proceedings (e.g., for TFM2004). The meetings include presentations that consider educational issues with respect to formal methods.
dcterms:subject
n6: n7: n10:
n8:wikiPageUsesTemplate
n9: n11:
n4:abstract
Teaching Formal Methods (TFM) is a series of meetings, held in association with Formal Methods Europe and its FM conference series. It has produced published proceedings (e.g., for TFM2004). The meetings include presentations that consider educational issues with respect to formal methods.