Universität Bremen  
  FB 3 TZI BISS AG BKB  
  H. Shi > Deutsch
English
 

Projects

 

Ongoing

Completed

  • BMBF Verbundprojekt UniForM Workbench - Universelle Entwicklungsumgebung für Formale Methoden(1995-1998).
  • BMFT Verbundprojekt KORSO - Korrekte Software (1991-1994).
 
   
Author: Dr. Hui Shi
 
   
Last updated: September 6, 2004