The machine-assisted proof of programming language properties / Myra Vaninwegen.

Author/Creator:

Vaninwegen, Myra.

Publication:

1996.

Format/Description:

Microformat
v, 140 leaves ; 29 cm.

Local subjects:

Penn dissertations -- Computer and information science. (search)
Computer and information science -- Penn dissertations. (search)

Notes:

Thesis (Ph.D. in Computer and Information Science) -- University of Pennsylvania, 1996.
Includes bibliographical references.
University Microfilms order no.: 96-36227.

OCLC:

187450108

Loading...