View updatability based on the models of a formal specification (2001)

by M Johnson, R Rosebrugh
Venue:In Proceedings of the 10th International Symposium of Formal Methods Europe (FME 2001