Login / Signup
Alan Dent
Publication Activity (10 Years)
Years Active: 1993-1993
Publications (10 Years): 0
</>
Publications
</>
Alan Dent
,
Keith Hanna
Reasoning about Array Structure Using a Dependently Typed Logic.
CHDL
(1993)