Julien D'Orso

• New Directions in Symbolic Model Checking