Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Privatdozentin Dr. Louchka Popova-Zeugman

Address Humboldt-Universität zu Berlin
Institut für Informatik
Lehrstuhl Logik in der Informatik
Rudower Chaussee 25
12489 Berlin

Projects

As Participating Person
- Completed projects
  - Comparative Analysis and VERification for Concurrent Correctness-Critical Systems (CAVER) (Research Grants)

© 2024 DFG Disclaimer / Copyright / Privacy Policy