Skip to main navigation
Skip to search
Skip to main content
Research Explorer The University of Manchester Home
Search content at Research Explorer The University of Manchester
Home
Profiles
Research units
Research output
Projects
Impacts
Activities
Press/Media
Prizes
Equipment
Datasets
Student theses
CADE SKolem Award Committee (External organisation)
Schmidt, R.
(Invited member)
Formal Methods
Activity
:
Membership
›
Membership of committee
›
Research
Description
Selection of 10 year best paper awards for CADE Inc
Period
2017
Held at
CADE SKolem Award Committee
Degree of Recognition
International
X