Abstract

Not Included

Library of Congress Subject Headings

Computer programs--Correctness; Logic, Symbolic and mathematical; First-order logic

Publication Date

1985

Document Type

Thesis

Student Type

Graduate

Degree Name

Computer Science (MS)

Department, Program, or Center

Computer Science (GCCIS)

Advisor

Margaret Reek

Advisor/Committee Member

Al Biles

Advisor/Committee Member

Peter Anderson

Comments

Physical copy available from RIT's Wallace Library at QA76.6 .M363 1985

Campus

RIT – Main Campus

Share

COinS