Conference Publication Details
Mandatory Fields
Dr Adam C Winstanley
Making Changes to Formal Specifications: Requirements and an Example, in I. Sommerville and M. Paul (eds): Software Engineering - ESEC '93, LNCS 717, Springer-Verlag, 115-126, 1993
Making Changes to Formal Specifications
1993
Published
1
()
Optional Fields
3
3
Grant Details