Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 1.
1990
Martin, U.H. and Cohen, Dave and Lai, M.K.F. and Norrie, K.J. and Watson, Phil (1990) Case studies in equational reasoning. Technical report. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |