Project Details
| Status | Active |
|---|---|
| Effective start/end date | 1/1/08 → … |
Funding
- Natural Sciences and Engineering Research Council of Canada: US$19,700.00
ASJC Scopus Subject Areas
- Computer Science(all)
Relational Methods in Program Verification
- Glanfield, Joel (PI)
Project: Research project