J. W. Gambles

Publication Activity (10 Years)

Years Active: 1991-1993
Publications (10 Years): 0

Publications

J. W. Gambles, Phillip J. Windley
Reasoning about the VHDL Standard Logic Package Signal Data Type. CHDL (1993)
J. W. Gambles, Phillip J. Windley
An HOL Theory for Logic States with Indeterminate Strengths. TPHOLs (1991)