Software and Computational Systems Lab Dirk BeyerLMU Munich, BenchCloud, Aufgabenkorrektur..., BenchExec, CPAchecker, Isabelle/HOL, SEP-Java Adresse / Anfahrt Oettingenstraße 67 80538 MünchenDE Kontakt 1x Telefonnummer 1x Fax 1x E-Mail 1x Webadresse/Domain 36 Ansprechpartner/Personen Prof. Dr. Dirk BeyerProf. Dr.DirkBeyer (Software and Systems)Salih AtesSalihAtes (staff)34 weitere Ansprechpartner Statistik mind. 36 Mitarbeiter Formell UstID+Steuernummer Marketing 2x Sonstige Domains Neu: Daten zu 3,6 Mio. deutschen Firmen exportieren + professionell nutzen