Sort by
Refine Your Search
-
techniques (e.g., artificial intelligence, self-adaptation, analytics, formal methods). The EReS Research Lab integrates expertise from different research areas, such as Software Engineering and Sustainable
Searches related to formal method
Enter an email to receive alerts for formal-method positions