Login / Signup
Dave Whitely
Publication Activity (10 Years)
Years Active: 1991-1991
Publications (10 Years): 0
</>
Publications
</>
Susan Stepney
,
Dave Whitely
,
David Cooper
,
Colin Grant
A Demonstrably Correct Compiler.
Formal Aspects Comput.
3 (1) (1991)