Luigi Logrippo
-
Making Changes to Formal Specifications: Requirements and an Example
IEEE Transactions on Software Engineering