James Baxter

Search results

• 2018

  Reactive Designs in Isabelle/UTP

  Foster, S. D., Baxter, J. E., Cavalcanti, A. L. C., Woodcock, JAMES. C. P. & Canham, S. J., 6 Apr 2018, (Unpublished) 108 p.

  Research output: Working paper

  File

• Stateful-Failure Reactive Designs in Isabelle/UTP

  Foster, S. D., Baxter, J. E., Cavalcanti, A. L. C. & Woodcock, JAMES. C. P., 17 Apr 2018, (Unpublished).

  Research output: Working paper

  File