Program deprivation using formal method
By: by Xuejun (Frank) Zhang
Published: 1997
Language: eng
Number of pages: 63
Subjects: Computer software -- Development; Computer logic
Notes: Typescript (photocopy)

Thesis (M.S.)--Miami University, Dept. of Systems Analysis, 1997

Includes bibliographical references (leaves 60-63)