Browse Wiki & Semantic Web

	This page has no properties.

	No properties link to this page.

https://dblp.org/rec/conf/vstte/HaydenMHFF12

https://dblp.org/rdf/schema#authoredBy	https://dblp.org/pid/55/8194 + , https://dblp.org/pid/30/5360 + , https://dblp.org/pid/h/MichaelWHicks + , https://dblp.org/pid/15/3253 + , https://dblp.org/pid/18/2050 +
https://dblp.org/rdf/schema#bibtexType	http://purl.org/net/nknouf/ns/bibtex#Inproceedings +
https://dblp.org/rdf/schema#documentPage	https://doi.org/10.1007/978-3-642-27705-4_22 +
https://dblp.org/rdf/schema#doi	https://doi.org/10.1007/978-3-642-27705-4_22 + , http://dx.doi.org/10.1007/978-3-642-27705-4_22 +
https://dblp.org/rdf/schema#listedOnTocPage	https://dblp.org/db/conf/vstte/vstte2012 +
https://dblp.org/rdf/schema#numberOfCreators	5
https://dblp.org/rdf/schema#pagination	278-293
https://dblp.org/rdf/schema#primaryDocumentPage	https://doi.org/10.1007/978-3-642-27705-4_22 +
https://dblp.org/rdf/schema#publishedAsPartOf	https://dblp.org/rec/conf/vstte/2012 +
https://dblp.org/rdf/schema#publishedIn	VSTTE
https://dblp.org/rdf/schema#publishedInBook	VSTTE
https://dblp.org/rdf/schema#title	Specifying and Verifying the Correctness of Dynamic Software Updates.
https://dblp.org/rdf/schema#yearOfEvent	2012
https://dblp.org/rdf/schema#yearOfPublication	2012
owl:sameAs	https://doi.org/10.1007/978-3-642-27705-4_22 + , http://dx.doi.org/10.1007/978-3-642-27705-4_22 +
rdf:type	https://dblp.org/rdf/schema#Publication + , https://dblp.org/rdf/schema#Inproceedings +
rdfs:label	Christopher M. Hayden et al.: Specifying and Verifying the Correctness of Dynamic Software Updates. (2012)

	This page has no properties.

Navigation menu