Iterative Circular Coinduction for CoCASL (2005)
by
Daniel Hausmann
,
Till Mossakowski
| Venue: | in Isabelle/HOL, Proc. FASE 2005, Springer LNCS 3442 |
| Citations: | 4 - 0 self |
Active Bibliography
No active bibliography identified.
