Verifix at Kiel
Christian-Albrechts-Universität 
zu Kiel
 
           
  Home  
    Project Partners  
Prof. Dr. Dr. h.c. Hans Langmaack
Dr. Wolfgang Goerigk
 

Lehrstuhl Programmiersprachen und Übersetzerkonstruktion
Institut für Informatik und Praktische Mathematik
Christian-Albrechts-Universität zu Kiel
Preußerstraße 1-9
D-24105 Kiel, Germany

Email: {hl|wg}@informatik.uni-kiel.de
Phone: +49 (431) 5604-28,  -24
Fax: +49 (431) 566143
 
 
 

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