Home
DCC eCatalog
C_Fl_Louise__Dennis
Using a generalisation critic to find bisimulations for coinductive proofs
