Formalizing correctness criteria of dynamic updates derived from specification changes.

Valerio Panzica La Manna, Joel Greenyer, Carlo Ghezzi, Christian Brenner

Browse the full ICSE paper archive.