Login / Signup
Will Atkinson
ORCID
Publication Activity (10 Years)
Years Active: 1991-1991
Publications (10 Years): 0
</>
Publications
</>
Will Atkinson
,
Jim Cunningham
Proving properties of a safety-critical system.
Softw. Eng. J.
6 (2) (1991)