Verification — The Practical Problems

Achieving Safety and Reliability with Computer Systems ◽

10.1007/978-94-009-3461-0_8 ◽

1987 ◽

pp. 89-99 ◽

Cited By ~ 2

Author(s):

B. P. Phillips ◽

S. G. Howe

Download Full-text