Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Lennart Beringer, Ph.D.

Address Ludwig-Maximilians-Universität München
Lehr- und Forschungseinheit Theoretische Informatik
Oettingenstraße 67
80538 München

Projects

As Applicant
- Completed projects
  - Verifikation und Zertifikation von Informationsflüssen (InfoZert A) (Research Grants)
As Ehemaliger Antragsteller
- Completed projects
  - Verifikation polymorpher Nichtinterferenz für mobile Software - PolyNi (Research Grants) to 9/2010

© 2024 DFG Disclaimer / Copyright / Privacy Policy