DaftarIsitemplate

Call Number

004 Woo f

Title

Maintaining consistency under changes to formal specifications, (LNCS-Lecture Notes in Computer Science 670) Hal 558-577

Author

Kelvin J. Ross; Peter A. Lindsay;

Publisher

Springer, 1993

Subject

Location