C-SHORe: A Collapsible Approach to Verifying Higher-Order Programs

Chris Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre

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

84 Downloads (Pure)

1 Finished

1 results

Finished

Verification of Concurrent and Higher-Order Recursive Programs
Hague, M.
Eng & Phys Sci Res Council EPSRC
1/05/13 → 30/04/18
Project: Research