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 software verification
Enter an email to receive alerts for software-verification positions