Division of Informatics
Forrest Hill & 80 South Bridge
NOT PUBLICALLY AVAILABLE
Discussion Paper #145
Title:
Inductive Proof Plans for the Correction of Faulty Software Specifications, Thesis Proposal
Authors:
Monroy-Borja,R
Date:
Jun
1994
Presented:
Keywords:
Abstract: