Simon David Foster – Publications — York Research Database

Phone(01904) 325424
Emailsimon.fosteryork.acuk

If you made any changes in Pure these will be visible here soon.

26 Conference contribution
10 Article
7 Working paper
4 Chapter (peer-reviewed)
More

2 results

Filter

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