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