sowie Privatpersonen, Schwerpunkt formale Methoden und interaktives Theorembeweisen Thomas TürkADATT, APplus, Coq..., Refinement, Datensätzen, ITP, Lem, Ticketsystem, Verifikation Adresse / Anfahrt Albert-Otto-Straße 8 65611 BrechenDE Kontakt 2x Telefonnummer 1x Mobiltelefon 2x E-Mail 2x Webadresse/Domain 1 Ansprechpartner/Personen Dr. Thomas TürkDr.ThomasTürk (Inhaber) Formell UstID+Steuernummer Marketing 4x Sonstige Domains Neu: Daten zu 3,6 Mio. deutschen Firmen exportieren + professionell nutzen