David Farago

• Model Checking and Model-Based Testing