Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Case studies in equational reasoning

Case studies in equational reasoning

UH Martin‚ Dave Cohen‚ MKF Lai‚ KJ Norrie and Phil Watson

Publisher
Royal Holloway and Bedford New College‚ University of London
Year
1990

Links

See Also

Back to Top