Formal methods and software engineering group
By: contact W.M.L. Holcombe.
Contributors: University of Sheffield. Department of Computer Science.
Series: Memoranda in computer and cognitive science -- CS-95-20
Publisher: University of Sheffield, Dept. of Computer Science
Published: 1995
Place of publication: Sheffield
Language: eng