Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 1/01/2013 → 31/12/2017 |
Error-Free Programming using Theorem Provers - 0Bugs
- Urban, Christian (Primary Investigator)
Project: Research
Project: Research
| Status | Finished |
|---|---|
| Effective start/end date | 1/01/2013 → 31/12/2017 |