Formal methods for V & V of partial specifications : an experience report /
Easterbrook, S. M.(Steven Michael),1965-
Callahan, John.
University of Sussex.School of Cognitive and Computing Sciences.
[Brighton] : University of Sussex, [School of Cognitive and Computing Sciences],
1996.
Caption title.
"November 1996."