Samuel James Canham - Publications - York Research Database

2 Working paper
1 Conference contribution
1 Article

1 results

Filter

2020

Unifying Theories of Reactive Design Contracts
Foster, S. D., Cavalcanti, A. L. C., Canham, S. J., Woodcock, J. C. P. & Zeyda, F., 8 Jan 2020, In: Theoretical Computer Science. 802, p. 105-140
Research output: Contribution to journal › Article › peer-review

Open Access
File