A thread of HOL development

Cached

Download Links

by Michael Norrish , Konrad Slind
Venue:Computer Journal
Citations:11 - 7 self

Document Versions

A thread of HOL development –Michael Norrish, Konrad Slind — Computer Journal
A Thread of HOL Development –Michael Norrish, Konrad Slind — 2002