Formalizing Workflows Partitioning over Federated Clouds: Multi-level Security and Costs

Leo Freitas, Paul Watson

Research output: Contribution to journal › Article › peer-review

1 results

Finished
A14FM : using A1 to aid automation of proof search in formal methods
Bundy, A., Bundy, A., Grov, G., Ireland, A. & Jones, C. B.
EPSRC
1/04/10 → 31/03/14
Project: Research