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
%LABEL:TIMES_CITED%
%FIELD:TIMES_CITED% ()
Optional Fields
%LABEL:VOLUME%
%FIELD:VOLUME%
562
568
%LABEL:ABSTRACT%
%FIELD:ABSTRACT%
-
%LABEL:EDITION%
%FIELD:EDITION%
10.1109/32.310666
Grant Details