Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Monograph
Number of items: 2.


Foster, Simon David and Canham, Samuel James (2018) Generalised Reactive Processes in Isabelle/UTP. Working Paper. (Unpublished)

Foster, Simon David, Baxter, James Edward, Cavalcanti, Ana Lucia Caneca et al. (2 more authors) (2018) Reactive Designs in Isabelle/UTP. Working Paper. (Unpublished)

This list was generated on Sun Jul 14 04:01:14 2019 BST.