Incremental backward change propagation of view models by logic solvers.

Oszkr Semerth, Csaba Debreceni, kos Horvth, Dniel Varr

Browse the full MODELS paper archive.