Alan Dent

According to our database, Alan Dent authored at least 1 paper in 1993.

Collaborative distances:

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

1993

Reasoning about Array Structure Using a Dependently Typed Logic.

Alan Dent, Keith Hanna

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