Skip to main content

Infinite Lists for Specifying Functional Programs in Z

Andrew Martin

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