P. F. Gibbins

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1988

1 P. F. Gibbins: VDM: Axiomatising its Propositional Logic. Comput. J. 31(6): 510-516 (1988)