OXFORD UNIVERSITY COMPUTING LABORATORY

Infinite Lists for Specifying Functional Programs in Z

Andrew Martin

info

book title

Proceedings of Australian Refinement Workshop

publisher

University of Queensland

year

1996

links

BibTeX

Link (ps.gz)

related pages

people

Random Image
Random Image
Random Image