Gay, Simon
1969-
Imp. Coll. Dept. of Computing Wkshp. on Theory and Formal Methods (1st : 1993 : Chelwood Gate, England). Theory and formal methods 1993, c1993: CIP t.p. (Simon Gay) galley (BA, DipCompSci; Imp. Coll.of Sci., Tech. amd Med., London) data sheet (Simon John Gay; b. 9/17/69)
Behavioural types, 2017: title page (Simon Gay; editor) page 375 (Director of Research, School of Computing Science; Leader, Formal Analysis, Theory and Algorithms Research Section; Ph. D., Imperial College London)
n 93053229
Converted from MARCXML to MADS version 2.0 (Revision 2.13)
DLC
20171103073519.0
n93053229
eng
rda
other rules