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

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

PrefixNamespace IRI
n10http://dbkwik.webdatacommons.org/ontology/
dctermshttp://purl.org/dc/terms/
n6http://dbkwik.webdatacommons.org/resource/5zSqFfuob5gjAeehxY-qFQ==
n3http://dbkwik.webdatacommons.org/formalmethods/property/
rdfshttp://www.w3.org/2000/01/rdf-schema#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n7http://dbkwik.webdatacommons.org/resource/siC9-AZHG_3U1OXJPAE4NA==
xsdhhttp://www.w3.org/2001/XMLSchema#
n4http://dbkwik.webdatacommons.org/resource/6rtchO8QZOwb0xqq7pHkwQ==
n9http://dbkwik.webdatacommons.org/resource/xoOxByjsi7a0lO-O2llahA==
n2http://dbkwik.webdatacommons.org/resource/tfD79QUw2bJEDcpqWlN8Dg==
Subject Item
n2:
rdfs:label
VSR-net
rdfs:comment
A Network for the Verified Software Repository UK EPSRC Network (EP/D506735/1) Grand Challenge 6: Dependable Systems Evolution Investigators: Jim Woodcock (The University of York) Jonathan Bowen (London South Bank University) Peter O'Hearn (Queen Mark University of London) Academic secretary: Paul Boca (BCS-FACS) Administration: Caroline Moore (The University of York) Duration: 1 September 2005 to 31 August 2008. See: FM05 Workshop, Newcastle-upon-Tyne, UK, 18 July 2005 4th VSR-net meeting, University of York, 5-6 October 2006
dcterms:subject
n6: n7: n9:
n3:wikiPageUsesTemplate
n4:
n10:abstract
A Network for the Verified Software Repository UK EPSRC Network (EP/D506735/1) Grand Challenge 6: Dependable Systems Evolution Investigators: Jim Woodcock (The University of York) Jonathan Bowen (London South Bank University) Peter O'Hearn (Queen Mark University of London) Academic secretary: Paul Boca (BCS-FACS) Administration: Caroline Moore (The University of York) Duration: 1 September 2005 to 31 August 2008. See: FM05 Workshop, Newcastle-upon-Tyne, UK, 18 July 2005 4th VSR-net meeting, University of York, 5-6 October 2006