Edinburgh Research Explorer

Can theorem proving keep the planes flying

Research output: Contribution to journalArticle

Standard

Can theorem proving keep the planes flying. / Bundy, Alan.

In: SERC Bulletin, Vol. 5, No. 1, 07.1993.

Research output: Contribution to journalArticle

Harvard

Bundy, A 1993, 'Can theorem proving keep the planes flying' SERC Bulletin, vol. 5, no. 1.

APA

Bundy, A. (1993). Can theorem proving keep the planes flying. SERC Bulletin, 5(1).

Vancouver

Bundy A. Can theorem proving keep the planes flying. SERC Bulletin. 1993 Jul;5(1).

Author

Bundy, Alan. / Can theorem proving keep the planes flying. In: SERC Bulletin. 1993 ; Vol. 5, No. 1.