Project Details

Dr. Margarita Korovina

Address Siberian Branch of the Russian Academy of Sciences
A.P. Ershov Institute of Informatics Systems
6, Acad. Lavrentjev pr.
Novosibirsk 630090
Russische Föderation

Projects

As Participating Person
- Completed projects
  - Comparative Analysis and VERification for Concurrent Correctness-Critical Systems (CAVER) (Research Grants)
As Cooperation Partner
- Completed projects
  - Wrapping Representations in Exact Real Arithmetic (WERA) (Research Grants)

Servicenavigation

Hauptnavigation

Dr. Margarita Korovina

Additional Information

Servicenavigation

Hauptnavigation

Dr. Margarita Korovina

Additional Information

Textvergrößerung und Kontrastanpassung