Ahmed Rezine profile picture

Ahmed Rezine

Parameterized Systems Generalizing and Simplifying Automatic Verification