Gonzalo León;Carlos Delgado Kloos;G. González;M. A. Ruz;Saturnino Marchena Rodriguez;L. Santos;J. Navarro
-;-;-;-;-;-;-
Making Changes to Formal Specifications: Requirements and an Example
IEEE Transactions on Software Engineering