John Leeson

Publication Activity (10 Years)

Years Active: 2002-2005
Publications (10 Years): 0

Publications

Eoghan Casey, Gary Gordon, John Leeson
Origins and progress. Digit. Investig. 2 (1) (2005)
Matthew B. Gerber, John Leeson
Formalization of computer input and output: the Hadley model. Digit. Investig. 1 (3) (2004)
Matthew B. Gerber, John Leeson
Shrinking the Ocean: Formalizing I/O Methods Modern Operating Systems. Int. J. Digit. EVid. 1 (2) (2002)