Nicolas Amat

https://nicolasamat.github.io/

ONERA, The French Aerospace Lab Toulouse, France Research Scientist at ONERA, The French Aerospace Lab | Participant in the Model Checking Contest