Verifix at Kiel
Christian-Albrechts-Universität 
zu Kiel
 
           
  Home  
    Project Partners  
 
Verifix -Kolloquium '96 ( 28.-29.10.1996 in Karlsruhe )
 
Workshop on "Engineering of Software Verification, Validation, and Certification"  ( 26.6.1998 in Kiel )
 
Verifix -Kolloquium '99 ( 14.1.1999 in Ulm )
 
2. Workshop on "Engineering of Software Verification, Validation, and Certification"  ( 23.6.2000 in Kiel )  ( Call for Papers and Participation )
( Program in Postscript )

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