Items where Author is "Hinchey, Michael G."
![[up]](/style/images/multi_up.png)
Up a levelJump to: Book Section
Number of items: 1.
Book Section
Finney, Kate M. and Fedorec, Alex M. (1996) An empirical study of specification readability. In: Dean, C. Neville and Hinchey, Michael G., (eds.) Teaching and Learning Formal Methods. Academic Press International Series in Formal Methods . Academic Press, pp. 117-130. ISBN 9780123490407