Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Iain Whiteside.

Newcastle AuthorsTitleYearFull text
Dr Leo Freitas
Dr Iain Whiteside
Proof Patterns for Formal Methods2014
Dr Leo Freitas
Dr Iain Whiteside
Proof Patterns for Formal Methods2014
Dr Leo Freitas
Emeritus Professor Cliff Jones
Dr Andrius Velykis
Dr Iain Whiteside
How to say why (in AI4FM)2013