Collaborated with:
W.Martin F.S.Taylor A.Goldberg
Talks about:
construct (1) mathemat (1) kernel (1) formal (1) analyz (1) separ (1)
Person: P. White
DBLP: White:P=
Contributed to:
Wrote 1 papers:
- ASE-2000-MartinWTG #kernel
- Formal Construction of the Mathematically Analyzed Separation Kernel (WM, PW, FST, AG), pp. 133–142.