Sort by
Refine Your Search
-
declarative problem description and automatically compute an optimal solution to it. Often, users specify their problem in a high-level, human-understandable formal language. This specification is first
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions