Samuel James Canham - Publications - York Research Database

2 Working paper
1 Conference contribution
1 Article

2 results

Filter

2018

Generalised Reactive Processes in Isabelle/UTP
Foster, S. D. & Canham, S. J., 6 Apr 2018, (Unpublished) 56 p.
Research output: Working paper

File
Reactive Designs in Isabelle/UTP
Foster, S. D., Baxter, J. E., Cavalcanti, A. L. C., Woodcock, J. C. P. & Canham, S. J., 6 Apr 2018, (Unpublished) 108 p.
Research output: Working paper

File