Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Christoph Weidenbach: Home Page
[go: Go Back, main page]
 
Photo of Christoph Weidenbach  Christoph Weidenbach

Address

Dr. rer. nat. Christoph Weidenbach
Max-Planck-Institut für Informatik
Stuhlsatzenhausweg 85, 66123 Saarbrücken, Germany

Phone: +49-681/9325-221, Fax: +49-681/9325-299
Programming Logics Group, Building 46.1, Room: 621

Group Responsabilities: SPASS

Current Lecture: LAN Design in Practice 2005

Christoph Weidenbach
Home | Publications | Current Research | Degrees | MPI Informatik | AG2
Last modified: 26 May 2004