Automated Algebraic Reasoning for Collections and Local Variables with Lenses

Simon David Foster, James Baxter

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 results

Finished

CyPhyAssure: CyPhyAssure: Compositional Safety Assurance for Cyber-Physical Systems
Foster, S. D.
EPSRC
1/06/18 → 31/07/21
Project: Research project (funded) › Research