Infinite Lists for Specifying Functional Programs in Z
Andrew Martin
Details
| Book Title |
Proceedings of Australian Refinement Workshop |
| Publisher |
University of Queensland |
| Year |
1996 |
Links
Related pages
|
People |