Sort by
Refine Your Search
-
modelling and numerical relativity. The group comprises PI Alicia Sintes, a further ten faculty members and a large number of post-doctoral researchers and PhD students. The group is a member of the IAC3
Searches related to model checking
Enter an email to receive alerts for model-checking positions