Experiences using formal methods for requirements modeling /
Easterbrook, S. M.(Steven Michael),1965-
University of Sussex.School of Cognitive and Computing Sciences.
[Brighton] : University of Sussex, [School of Cognitive and Computing Sciences],
1996.
Caption title.
"November 1996."