Specification and validation methods / edited by Egon Borger
Specification and validation methods / edited by Egon Borger - - Oxford : Clarendon Press, 1995 1995 - ix,460 p. 24 cm - .
0-19-853854-52
Programming languages (Electronic computers)
681.3.06 Spe