Iain Whiteside

发表

Francisco Eiras, Edward Ayers, Majd Hawasly, 2020, NFM.

Ewen Denney, Ganesh J. Pai, Iain Whiteside, 2013, NASA Formal Methods.

Gudmund Grov, David Aspinall, Lucas Dixon, 2011, Calculemus/MKM.

Iain Whiteside, Leo Freitas, I. Whiteside, 2014, FM.

Ewen Denney, Ganesh J. Pai, Ganesh Pai, 2019, Reliab. Eng. Syst. Saf..

Ewen Denney, Ganesh J. Pai, Iain Whiteside, 2017, 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS).

Gudmund Grov, David Aspinall, Iain Whiteside, 2012, AISC/MKM/Calculemus.

Ewen Denney, Ganesh J. Pai, Iain Whiteside, 2015, 2015 IEEE 16th International Symposium on High Assurance Systems Engineering.

David Aspinall, Iain Whiteside, Dominik Dietrich, 2013, LPAR.

Cliff B. Jones, Iain Whiteside, Andrius Velykis, 2014, VSTTE.

Ewen Denney, Ganesh J. Pai, Iain Whiteside, 2017, SAFECOMP.

Iain Whiteside, 2013 .