Iterative circular coinduction for CoCasl in Isabelle/HOL (2005)

Cached

Download Links

by Daniel Hausmann , Till Mossakowski , Lutz Schröder
Venue:FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, VOLUME 3442 OF LECT. NOTES COMPUT. SCI
Citations:6 - 1 self