EEMCS EPrints Service
|
||||||||||||||||
1998
Geurts, W. and Wijbrans, K.C.J. and Tretmans, G.J.
(1998)
Testing and Formal Methods - BOS Project Case Study.
In: EuroSTAR'98: 6th European Int. Conference on Software Testing, Analysis & Review, 30 Nov - 01 Dec 1998, Munich, Germany.
pp. 215-229.
Aimware.
ISBN not assigned
|
||||||||||||||||