Edinburgh Research Explorer

An Outline of a Proposed System that Learns from Experts How to Discharge Proof Obligations Automatically

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

Standard

An Outline of a Proposed System that Learns from Experts How to Discharge Proof Obligations Automatically. / Bundy, Alan; Grov, Gudmund; Jones, Cliff B.

Proceedings of Dagstuhl Seminar 09381: Refinement Based Methods for the Construction of Dependable Systems. 2009.

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

Harvard

Bundy, A, Grov, G & Jones, CB 2009, An Outline of a Proposed System that Learns from Experts How to Discharge Proof Obligations Automatically. in Proceedings of Dagstuhl Seminar 09381: Refinement Based Methods for the Construction of Dependable Systems.

APA

Bundy, A., Grov, G., & Jones, C. B. (2009). An Outline of a Proposed System that Learns from Experts How to Discharge Proof Obligations Automatically. In Proceedings of Dagstuhl Seminar 09381: Refinement Based Methods for the Construction of Dependable Systems

Vancouver

Bundy A, Grov G, Jones CB. An Outline of a Proposed System that Learns from Experts How to Discharge Proof Obligations Automatically. In Proceedings of Dagstuhl Seminar 09381: Refinement Based Methods for the Construction of Dependable Systems. 2009.

Author

Bundy, Alan ; Grov, Gudmund ; Jones, Cliff B./ An Outline of a Proposed System that Learns from Experts How to Discharge Proof Obligations Automatically. Proceedings of Dagstuhl Seminar 09381: Refinement Based Methods for the Construction of Dependable Systems. 2009.