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