-
knowledge and model structure developed within phase 1 of the research program Mistra Food Futures (mistrafoodfutures.se) and include extensive collaboration with various researchers and external
Searches related to model checking
Enter an email to receive alerts for model-checking positions