J. M. Smith

3 references 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.

SPECS: A lightweight runtime mechanism for protecting software from security- critical processor bugs

M. Hicks and others (2015) · SIGPLAN Not.

Active Networking: One View of the Past, Present, and Future

J. M. Smith and others (2004) · Institute of Electrical and Electronics Engineers (IEEE)

Programming in Martin-Löf's Type Theory

B. Nordström and others (1990) · Oxford University Press