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