Trevor Cockram

1 reference under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Experiences with the Application of Discrete Formal Methods to the Development of Engine Control Software
Andy J. Galloway and others (1998) · IFAC Proceedings Volumes · Elsevier BV