Formal specifications as constructive diagrams
Carol Britton, Martin Loomes, Richard MitchellVolume:
37
Year:
1993
Language:
english
Pages:
4
DOI:
10.1016/0165-6074(93)90042-j
File:
PDF, 285 KB
english, 1993