J. W. Gambles

According to our database, J. W. Gambles authored at least 2 papers between 1991 and 1993.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1993

Reasoning about the VHDL Standard Logic Package Signal Data Type.

J. W. Gambles, Phillip J. Windley

Proceedings of the Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications, 1993

1991

An HOL Theory for Logic States with Indeterminate Strengths.

J. W. Gambles, Phillip J. Windley

Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991