Case studies in equational reasoning

UH Martin, Dave Cohen, MKF Lai, KJ Norrie, Phil Watson

Research output: Other contribution

Original languageEnglish
Publication statusPublished - 1990

Cite this