Iterative Circular Coinduction for CoCASL (2005)

Cached

Download Links

by Daniel Hausmann , Till Mossakowski
Venue:in Isabelle/HOL, Proc. FASE 2005, Springer LNCS 3442
Citations:5 - 0 self

Active Bibliography

No active bibliography identified.