Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 1/04/2012 → 31/05/2013 |
Funding
- DFG Deutsche Forschungsgemeinschaft: £44,604.00
Solving the PoplMark Challenge: new techniques for the verification of the correctness of programming languages
- Urban, Christian (Primary Investigator)
Project: Research