Matthew B. Gerber

Publication Activity (10 Years)

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

Publications

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)