Decidable models of integer-manipulating programs with recursive parallelism

Matthew Hague, Anthony Lin

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

23 Downloads (Pure)

1 Finished

1 results

Filter

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