Symbolic Computation and Verification Methods in Maude.

Jos Meseguer

Browse the full LOPSTR paper archive.