-
biology to create next-generation disease models. In collaboration with ETH Zürich (Prof. C. Halin) and the University of Bern (Prof. C. Bourquin), this project aims to advance understanding of the human
Searches related to model checking
Enter an email to receive alerts for model-checking positions