Detailseite
Person
Professor Dr. Deepak Kapur
Adresse
University of New Mexico
Department of Computer Science
MSC01 1130
Albuquerque NM 87131-000
USA
-
Als Cooperation Partner
-
Completed projects
-
Verification of imperative programs (Research Fellowships)
-
-
Completed projects
