Skip to main navigation
Skip to search
Skip to main content
Research Explorer The University of Manchester Home
Home
Profiles
Research units
Research output
Projects
Impacts
Activities
Press/Media
Prizes
Equipment
Datasets
Student theses
Search by expertise, name or affiliation
Invited two-month research visit to School of Software Engineering, Shanghai Key Laboratory of Trustworthy Computing, East China Normal University
Banach, Richard
(Recipient)
Formal Methods
Prize
:
Other distinction
Awarded date
2016
Granting Organisations
East China Normal University
X