Verification of Concurrent and Higher-Order Recursive Programs

Project: Research

NullPointerException
StatusFinished
Effective start/end date1/05/1330/04/18

Funding

Eng & Phys Sci Res Council EPSRC: £469,677

Datasets

Research outputs

ID: 21718479