Dr Ruth Letham

Open access
Applications of real number theorem proving in PVS
Gottliebsen, H., Hardy, R., Lightfoot, O. & Martin, U., Nov 2013, In: Formal Aspects of Computing. 25, 6, p. 993-1016 24 p.
Research output: Contribution to journal › Article › peer-review
THE LAVA PROJECT: A SERVICE BASED APPROACH TO SUPPORTING EXPLORATORY LEARNING
Getchell, K., Miller, A. H. D., Allison, C., Hardy, R., Sweetman, R. & Crook, V., 1 Oct 2006, IADIS International Conference WWW/Internet. Murcia, Spain
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Breadcrumbs navigation