Will Atkinson

Proving properties of a safety-critical system

Jim Cunningham, Will Atkinson, 1991, Softw. Eng. J..

Working Below the Line in the Studio System : Exploring Labour Processes in the UK Film Industry 1927-1950

Will Atkinson, K. R. Randle, W. Atkinson, 2013 .

Deduction with Modularity, Equality and Sortedness

Stuart Kent, Jim Cunningham, Will Atkinson, 1990 .