Steelman and the verifiability of (preliminary) ADA

William D. Young, Donald I. Good. Steelman and the verifiability of (preliminary) ADA. SIGPLAN Notices, 16(2):113-119, 1981. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.