Edinburgh Research Explorer

Productive Use of Failure in Top-down Formal Methods

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

Standard

Productive Use of Failure in Top-down Formal Methods. / Bundy, Alan; Grov, Gudmund; Lin, Yuhui.

In Proceedings of 18th Automated Reasoning Workshop. 2011. p. 13-14.

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

Harvard

Bundy, A, Grov, G & Lin, Y 2011, Productive Use of Failure in Top-down Formal Methods. in In Proceedings of 18th Automated Reasoning Workshop. pp. 13-14.

APA

Bundy, A., Grov, G., & Lin, Y. (2011). Productive Use of Failure in Top-down Formal Methods. In In Proceedings of 18th Automated Reasoning Workshop (pp. 13-14)

Vancouver

Bundy A, Grov G, Lin Y. Productive Use of Failure in Top-down Formal Methods. In In Proceedings of 18th Automated Reasoning Workshop. 2011. p. 13-14.

Author

Bundy, Alan ; Grov, Gudmund ; Lin, Yuhui. / Productive Use of Failure in Top-down Formal Methods. In Proceedings of 18th Automated Reasoning Workshop. 2011. pp. 13-14