Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: H

Number of items: 1.

H

Hill, Steve, 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. (KAR id:21247)

This list was generated on Fri May 10 23:46:13 2024 BST.