G. O'Neill

According to our database, G. O'Neill authored at least 3 papers between 1988 and 1992.

Collaborative distances:

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

1992

Automatic Translation of VDM Specifications into Standard ML Programs (Short Note).

G. O'Neill

Comput. J., 1992

1991

Specification of the MAA Standard in VDM.

Graeme I. P. Parkin, G. O'Neill

Proceedings of the VDM '91, 1991

1988

A prototype system for the validation of Pascal programs.

Peter T. Wilkinson, J. A. Bouchard, B. A. Byrne, Michael A. Hennell, P. Jackson, G. O'Neill, Graeme I. P. Parkin, Brian A. Wichmann

Softw. Eng. J., 1988