Edinburgh Research Explorer

The use of proof plans in formal methods

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

Standard

The use of proof plans in formal methods. / Bundy, Alan.

Design and implementation of symbolic computation systems: International Symposium DISCO '90 Capri, Italy, April 10–12, 1990 Proceedings. ed. / A. Miola. Springer-Verlag GmbH, 1990. p. 151-153 (Lecture Notes in Computer Science; Vol. 429).

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

Harvard

Bundy, A 1990, The use of proof plans in formal methods. in A Miola (ed.), Design and implementation of symbolic computation systems: International Symposium DISCO '90 Capri, Italy, April 10–12, 1990 Proceedings. Lecture Notes in Computer Science, vol. 429, Springer-Verlag GmbH, pp. 151-153. https://doi.org/10.1007/3-540-52531-9_134

APA

Bundy, A. (1990). The use of proof plans in formal methods. In A. Miola (Ed.), Design and implementation of symbolic computation systems: International Symposium DISCO '90 Capri, Italy, April 10–12, 1990 Proceedings (pp. 151-153). (Lecture Notes in Computer Science; Vol. 429). Springer-Verlag GmbH. https://doi.org/10.1007/3-540-52531-9_134

Vancouver

Bundy A. The use of proof plans in formal methods. In Miola A, editor, Design and implementation of symbolic computation systems: International Symposium DISCO '90 Capri, Italy, April 10–12, 1990 Proceedings. Springer-Verlag GmbH. 1990. p. 151-153. (Lecture Notes in Computer Science). https://doi.org/10.1007/3-540-52531-9_134

Author

Bundy, Alan. / The use of proof plans in formal methods. Design and implementation of symbolic computation systems: International Symposium DISCO '90 Capri, Italy, April 10–12, 1990 Proceedings. editor / A. Miola. Springer-Verlag GmbH, 1990. pp. 151-153 (Lecture Notes in Computer Science).