Tolque: A Tool for Algorithmic Algebraic Model Checking

CASAGRANDE A

MYSORE V

MISHRA B.

PIAZZA, Carla