Franklin

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...
Location Notes Your Loan Policy
Description Status Barcode Your Loan Policy