Verifix at Kiel
Christian-Albrechts-Universität 
zu Kiel
 
           
  Home  
    Project Partners  
 

Institut für Programmstrukturen und Datenorganisation
Universität Karlsruhe
Prof. Dr. Gerhard Goos, Priv.Doz. Dr. Wolf Zimmermann
Zirkel 2, D-76131 Karlsruhe, Germany
+49 (721) 608-4760,  +49 (721) 30047 (fax)
{ ggoos | zimmer } @ipd.info.uni-karlsruhe.de



Abteilung Künstliche Intelligenz
Universität Ulm
Prof. Dr. Friedrich von Henke, Dipl.-Inform. Axel Dold
James-Franck-Ring, D-89069 Ulm, Germany
+49 (731) 50-24120, +49 (731) 50-24119 (fax)
{ vhenke | dold } @ki.informatik.uni-ulm.de



Institut für Informatik und Praktische Mathematik
Lehrstuhl Programmiersprachen und Übersetzerkonstruktion
Christian-Albrechts-Universität zu Kiel
Prof. Dr. Dr. h.c. Hans Langmaack, Dr. Wolfgang Goerigk
Preußerstraße 1-9, D-24105 Kiel, Germany
+49 (431) 5604-28, +49 (431) 566143 (fax)
{ hl | wg } @informatik.uni-kiel.de
 
 
 
  Staff  
   Publications  
   Technical Reports  
   Verifix-Reports  
   Workshops  
   Technicalities  
   Code Reviews  
   Contact