Peer-Reviewed Journal Details
Mandatory Fields
Bustard, D.W., Winstanley, A.C.
1994
August
IEEE Transactions on Software Engineering
Making Changes to Formal Specifications: Requirements and an Example
Published
()
Optional Fields
20
562
568
8
-
10.1109/32.310666
Grant Details