search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

Formalizing correctness criteria of dynamic updates derived from specification changes.

Valerio Panzica La Manna Joel Greenyer Carlo Ghezzi Christian Brenner

Published in: SEAMS (2013)

Keyphrases