Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Infinite Lists for Specifying Functional Programs in Z

Infinite Lists for Specifying Functional Programs in Z

Andrew Martin

Book Title
Proceedings of Australian Refinement Workshop
Publisher
University of Queensland
Year
1996

Links

See Also

Back to Top