Eric Madelaine;Didier Vergamini
-;-
Making Changes to Formal Specifications: Requirements and an Example
IEEE Transactions on Software Engineering