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

Karlsruhe

Thilo Gaul
Gerhard Goos
Andreas Heberle
Wolf Zimmermann
 



Ulm

Axel Dold
Friedrich von Henke
Vincent Vialard
 



Kiel

Wolfgang Goerigk
Hans Langmaack
Andreas Wolf
 
 
 
 

  Staff  
   Publications  
   Technical Reports  
   Verifix-Reports  
   Workshops  
   Technicalities  
   Code Reviews  
   Contact