Conference
Self-Checking against Formal Specifications.
Authors
Antoy S; Hamlet RG
Editors
Koczkodaj WW; Lauer PE; Toptsis AA
Pagination
pp. 355-360
Publisher
IEEE Computer Society
Publication Date
January 1, 1992
ISBN-10
0-8186-2812-X
Conference proceedings
ICCI