Research output per year
Research output per year
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
-
Automating Event-B invariant proofs by rippling and proof patching
Lin, Y., Bundy, A., Grov, G. & Maclean, E., 2 Jan 2019, In: Formal Aspects of Computing. p. 1-35 35 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
The Tinker tool for graphical tactic development
Grov, G. & Lin, Y., 17 Mar 2017, (E-pub ahead of print) In: International Journal on Software Tools for Technology Transfer. p. 1-17 17 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Formalizing Workflows Partitioning over Federated Clouds: Multi-level Security and Costs
Freitas, L. & Watson, P., 1 May 2014, In: International Journal of Computer Mathematics. 91, 5, p. 881-906 26 p.Research output: Contribution to journal › Article › peer-review