Graeme I. Parkin

Overview: Survey of Formal Methods in Industry

Graeme I. Parkin, Stephen Austin, 1993, FORTE.

A prototype system for the validation of Pascal programs

Michael A. Hennell, Brian A. Wichmann, Graeme I. Parkin, 1988, Softw. Eng. J..

Specification of the MAA Standard in VDM

Graeme I. Parkin, G. O'Neill, G. Parkin, 1991, VDM Europe.

Conformity Clause for VDM-SL

Brian A. Wichmann, Graeme I. Parkin, B. Wichmann, 1993, FME.