Edinburgh Research Explorer

Meta-Level Inference and Program Verification

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

Meta-Level Inference and Program Verification. / Sterling, L.; Bundy, Alan.

6th Conference on Automated Deduction: New York, USA, June 7–9, 1982. Springer-Verlag GmbH, 1982. p. 144-150 (Lecture Notes in Computer Science; Vol. 138).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Sterling, L & Bundy, A 1982, Meta-Level Inference and Program Verification. in 6th Conference on Automated Deduction: New York, USA, June 7–9, 1982. Lecture Notes in Computer Science, vol. 138, Springer-Verlag GmbH, pp. 144-150. https://doi.org/10.1007/BFb0000056

APA

Sterling, L., & Bundy, A. (1982). Meta-Level Inference and Program Verification. In 6th Conference on Automated Deduction: New York, USA, June 7–9, 1982 (pp. 144-150). (Lecture Notes in Computer Science; Vol. 138). Springer-Verlag GmbH. https://doi.org/10.1007/BFb0000056

Vancouver

Sterling L, Bundy A. Meta-Level Inference and Program Verification. In 6th Conference on Automated Deduction: New York, USA, June 7–9, 1982. Springer-Verlag GmbH. 1982. p. 144-150. (Lecture Notes in Computer Science). https://doi.org/10.1007/BFb0000056

Author

Sterling, L. ; Bundy, Alan. / Meta-Level Inference and Program Verification. 6th Conference on Automated Deduction: New York, USA, June 7–9, 1982. Springer-Verlag GmbH, 1982. pp. 144-150 (Lecture Notes in Computer Science).