Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Siberian Branch of the Russian Academy of Sciences
A.P. Ershov Institute of Informatics Systems

Address 6, Acad. Lavrentjev pr.
Novosibirsk 630090
Russische Föderation

Novosibirsk 630090

Projects

Research Grants
- Completed projects
  - Comparative Analysis and VERification for Concurrent Correctness-Critical Systems (CAVER)
    (Applicant Müller, Norbert )
  - Wrapping Representations in Exact Real Arithmetic (WERA)
    (Applicant Müller, Norbert )

© 2026 DFG Disclaimer / Copyright / Privacy Policy