Implementing F S0 in Isabelle: adding structure at the metalevel (1995)
by
Seán Matthews
| Venue: | University of Cambridge Computer Laboratory |
| Citations: | 1 - 0 self |
Document Versions
| Implementing F S0 in Isabelle: adding structure at the metalevel –Seán Matthews — 1995 — University of Cambridge Computer Laboratory |
