Skip to main navigation
Skip to search
Skip to main content
York Research Database Home
Help & FAQ
Home
Researchers
Departments and Units
Publications
Projects
Activities
Datasets
Prizes
Search by expertise, name or affiliation
Keith Lines
Woodcock, J.
(Host)
Leonardo Freitas (Host)
Bill Scott (Host)
Computer Science
Activity
:
Hosting a visitor
›
Academic
Description
Visit to discuss research collaboration: (1) Verification of mathematical software. (2) Organ transportation.
Period
31 May 2019
Visiting from
National Physical Laboratory (United Kingdom)
Visitor degree
PhD
Degree of Recognition
National
Related content
Projects
A Calculus for Software Engineering of Mobile and Autonomous Robots
Project
:
Research project (funded)
›
Research
X