Detailseite
Ludwig-Maximilians-Universität München
Institut für Informatik
- Schwerpunktprogramme
- Sachbeihilfen
- laufende Projekte
- Brückenbildung zwischen Hardware- und Software-Analyse(Antragsteller Beyer, Dirk ; Lee, Ph.D., Nian-Ze )
- Kooperative Softwareverifikation 2(Antragstellerinnen / Antragsteller Beyer, Dirk ; Wehrheim, Heike )
- abgeschlossene Projekte
- laufende Projekte
- Sonderforschungsbereiche
- Forschungsgruppen
- Forschungsstipendien
- Transregios
- Forschungsdaten und Software
- Graduiertenkollegs
- Internationale Graduiertenkollegs
- Nationale Forschungsdateninfrastruktur Fach- und Methodenkonsortien