Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Iain Whiteside.

Newcastle AuthorsTitleYearFull text
Dr Leo Freitas
Emeritus Professor Cliff Jones
Dr Andrius Velykis
Dr Iain Whiteside
A Model for Capturing and Replaying Proof Strategies2014
Dr Iain Whiteside
Polar: A framework for proof refactoring2013