Franklin

Synthesis and compositional verification using language learning / Wonhong Nam.

Author/Creator:
Nam, Wonhong.
Publication:
2007.
Format/Description:
Microformat
xi, 141 p. : ill. ; 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, 2007.
Includes bibliographical references.
Local notes:
University Microfilms order no.: 3260957.
OCLC:
244975834
Loading...
Location Notes Your Loan Policy
Description Status Barcode Your Loan Policy