Sort by
Refine Your Search
-
Associate Professor Thor Grünbaum. The larger project develops and tests a new theory of basic cognitive selection mechanisms by combining methods and perspectives from experimental psychology, cognitive
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions