Publikationen

@INPROCEEDINGS{Ghezzi2013,
  author = {Panzica La Manna, Valerio and Greenyer, Joel and Ghezzi, Carlo and
	Brenner, Christian},
  title = {{F}ormalizing {C}orrectness {C}riteria of {D}ynamic {U}pdates {D}erived
	from {S}pecification {C}hanges},
  booktitle = {Proceeding of the 8th International Symposium on Software Engineering
	for Adaptive and Self-Managing Systems (SEAMS 2013)},
  year = {2013},
  url = {http://jgreen.de/wp-content/documents/2013/panzica-greenyer-ghezzi-brenner-StudyingAdditionalCriteriaOfDynamicUpdates-SEAMS2013.pdf}
}