E. Northup S. Sridhar J. Shapiro

1 reference under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Towards a verified, general-purpose operating system kernel
E. Northup S. Sridhar J. Shapiro and others (2004) · 1st NICTA Workshop on Operating System Verification, October 2004.