P.K.D. Froome

Specbox: a toolkit for BSI-VDM

P.K.D. Froome, B. Q. Monahan, 1989, RTSS 1989.

Formal methods in the production and assessment of safety critical software

P.K.D. Froome, B. Q. Monahan, R. E. Bloomfield, 1991 .

Software standards for high integrity systems

P.K.D. Froome, 1988 .

Interim Def Stan 00-56: hazard analysis and safety classification of the computer and programmable electronic system elements of defence equipment

P.K.D. Froome, 1994 .

The Licensing and Assessment of Computer Safety Systems

P.K.D. Froome, R. E. Bloomfield, 1988 .