Institute of Informatics Ludwig-Maximilians-Universität München (LMU Munich), GermanyComputational, Aufgabenkorrektur, BenchCloud..., BenchExec, CPAchecker, Isabelle/HOL Adresse / Anfahrt Oettingenstraße 67 80538 MünchenDE Kontakt 1x Telefonnummer 1x Fax 1x E-Mail 1x Webadresse/Domain 1 Ansprechpartner/Personen Prof. Dr. Dirk BeyerProf. Dr.DirkBeyer (Inhaltlich verantwortlich) Formell UstID+Steuernummer Marketing 1x Sonstige Domains Neu: Daten zu 3,6 Mio. deutschen Firmen exportieren + professionell nutzen