G. O'Neill

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1992

2 G. O'Neill: Automatic Translation of VDM Specifications into Standard ML Programs (Short Note). Comput. J. 35(6): 623-624 (1992)

1991

1 Graeme I. Parkin, G. O'Neill: Specification of the MAA Standard in VDM. VDM Europe (1) 1991: 526-544

1992
2		G. O'Neill: Automatic Translation of VDM Specifications into Standard ML Programs (Short Note). Comput. J. 35(6): 623-624 (1992)
1991
1		Graeme I. Parkin, G. O'Neill: Specification of the MAA Standard in VDM. VDM Europe (1) 1991: 526-544

Coauthor Index

1 Graeme I. Parkin [1]