Research output per year
Research output per year
Search results
-
2023
Formally Verified Animation for RoboChart using Interaction Trees
Ye, K., Foster, S. & Woodcock, J., 16 Mar 2023.Research output: Working paper › Preprint
File -
2020
Automated Verification of Reactive and Concurrent Programs by Calculation
Foster, S., Ye, K., Cavalcanti, A. & Woodcock, J., 27 Jul 2020.Research output: Working paper › Preprint
File