A thread of HOL development
by
Michael Norrish
,
Konrad Slind
| Venue: | Computer Journal |
| Citations: | 8 - 6 self |
Document Versions
| A thread of HOL development –Michael Norrish, Konrad Slind — Computer Journal |
| A Thread of HOL Development –Michael Norrish, Konrad Slind — 2002 |
