T. Ralston
3 references 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.
Formal methods reality check: industrial usage
D. Craigen and others (1995) · IEEE Transactions on Software Engineering · IEEE
Experience with formal methods in critical systems
S. Gerhart and others (1994) · Institute of Electrical and Electronics Engineers (IEEE)
An international survey of industrial applications of formal methods
D. Craigen and others (1993) · Tech. Rep. NIST GCR 93/626