Symbolic Equivalence Checking.

Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier

Browse the full CAV paper archive.