Sort by
Refine Your Search
-
about Automated Reasoning'. From a fundamental research perspective, this relates to the automation of meta-reasoning pertaining to general-purpose reasoning methods. Here, the intended focus is on
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions