LC control no. | no2003096864 |
---|---|
Personal name heading | Wagner, David, 1974- |
Found in | MOPS, an infrastructure for examining security properties of software, 2002: t.p. (David Wagner; Computer Science Division, Univ. of Calif., Berkeley) E-mail from David Wagner, 9-26-03 (b. 1974; Ph. D.) |