Detalles del proyecto
| Estado | Activo |
|---|---|
| Fecha de inicio/Fecha fin | 1/1/08 → … |
Financiación
- 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)
Proyecto: Proyecto de Investigación