A Debugger for a Meta-IV-like Meta-Language.

D. Kinnaes, Karel De Vlaminck

Browse the full FM paper archive.