G. Steve Hirst

According to our database, G. Steve Hirst authored at least 1 paper in 1991.

Collaborative distances:

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

1991

The Combination of Specifications and the Induced Relations in Object Oriented Programs.

G. Steve Hirst, T. B. Dinesh

Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991