Relational Methods in Program Verification

Glanfield, Joel (PI)

Dalhousie University

Projet: Research project

Statut	Actif
Date de début/de fin réelle	1/1/08 → …

Financement

Natural Sciences and Engineering Research Council of Canada: 19 700,00 $ US

ASJC Scopus Subject Areas

Computer Science(all)