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
Journal of Automated Reasoning (Journal)
Schmidt, R.
(Associate editor)
Formal Methods
Activity
:
Publication peer-review and editorial work
›
Editorial work
›
Research
Description
Associate Editor and Member of Editorial Board
Period
19 Oct 2018
→ …
Type of journal
Journal
ISSN
0168-7433
Degree of Recognition
International
X