P. F. Gibbins

VDM: Axiomatising its Propositional Logic

P. F. Gibbins, 1988, Comput. J..

'Same system' means 'same system description'

P. F. Gibbins, 1988 .

What are formal methods

P. F. Gibbins, P. Gibbins, 1988 .

The distributive law in the two-slit experiment

P. F. Gibbins, D. B. Pearson, 1981 .