Dirk Beyer-Rogée - Netzwerk-Profile - alle Infos bei Yasni.de

(1 - 13 von 14

)

Facebook: Dirk Beyer | Facebook

Twitter Profil: Dirk Beyer (apolloapo)

Ort: germany

Twitter Profil: Dirk Beyer (beyer_dirk)

Ort: Passau, Germany / Professor for Software Engineering and Programming Languages at University of Passau

WEB1.Dirk Beyer, Po-Chun Chien, and Nian-Ze Lee. CPA-DF: A tool for configurable interval analysis to boost program verification. InProc. ASE, Dirk Beyer and Martin Spiessl. Liv: Invariant validation using straight-line programs. In Proc. ASE, Dirk Beyer, Marian Lingsch-Rosenfeld, and Martin Spiessl. Cegar-pt: A tool for ...

MySpace: Dirk Beyer ( )

Hürth, Nordrhein-Westfalen, Germany

Twitter Profil: Dirk Beyer (dirk_beyer)

Ort: Worms

Dirk Beyer, Professor, LMU Munich at Software and …

www.sosy-lab.org

WEBProfessional Activities Conference Organizer. General Co-Chair, 25st European Joint Conferences on Theory and Practice of Software (ETAPS), Munich, Germany, Workshops Chair, 25st European Joint Conferences on Theory and Practice of Software (ETAPS), Munich, Germany, Co-Organizer, 14th Alpine Verification Meeting …