The typed logic of partial functions and the Vienna development method /
Fitzgerald, John,1965-
University of Newcastle upon Tyne.School of Computing Science.
Title from caption.
Includes bibliographical references.