Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 1.
Hill, Steve and Thompson, Simon (1995) Miranda in Isabelle. In: Paulson, Lawrence C., ed. Preceedings of the first Isabelle Users Workshop. University Of Cambridge Computer Laboratory Technical Reports Series (397). pp. 122-135. (Full text available) |