Sort by
Refine Your Search
-
to teaching, supervision and administrative tasks at the Department. The PhD project is situated within the research area of logics for multi-agent systems, and their applications to formal verification
Searches related to formal method phd
Enter an email to receive alerts for formal-method-phd positions