Hugging Peers

Transformation Rules for Z

☆ Save
Mark Utting,Petra Malik,Ian Toyn
CATS
published

Abstract

No abstract available.

Cite this paper

@article{utting2009,
  title = {Transformation Rules for Z},
  author = {Mark Utting and Petra Malik and Ian Toyn},
  journal = {CATS},
  year = {2009},
  month = {Jan},
}