Miranda in Isabelle
Edit Page
Report
Scan day: 07 February 2014 UTC
8
Virus safety - good
Description: Article by Steve Hill and Simon Thompson.
(September 01, 1995)
Publication: Miranda in Isabelle - School of Computing - University of Kent University of Kent - The UK's European University For current students & staff In Lawrence C. Paulson, editor,
Size: 199 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Publication: Miranda in Isabelle - School of Computing - University of Kent |
| Keywords: | For current students & staff, Search, School of Computing, Miranda in Isabelle, Steve Hill and Simon Thompson, Abstract, Bibtex Record |
| Description: | This is the 'Miranda in Isabelle' page on the 'School of Computing' website at the 'University of Kent'. |
| IP-address: | 129.12.4.58 |