Sort by
Refine Your Search
-
these questions, the project will involve computational modelling and experimental work, jointly supervised by Martin van Hecke and Yoeri van de Burgt. With this research, we aim to redefine physical computation
Searches related to model checking
Enter an email to receive alerts for model-checking positions