Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

University of New Mexico
Department of Computer Science

Address MSC01 1130
Albuquerque NM 87131-000
USA

Albuquerque NM 87131-000

Projects

Research Fellowships
- Completed projects
  - Verification of imperative programs
    (Applicant Giesl, Jürgen )

© 2025 DFG Disclaimer / Copyright / Privacy Policy