Universität Bremen  
  FB 3  
  Group BKB > Research > Deutsch

Research Area "Formal Methods for Software Development"


Research Topics

The main focus of research in formal methods at our group is algebraic specification, based on the CASL language, and development of effective tool support for all aspects of formal development.

Specific topics include:

Publications and Software

International Contacts


This list does not include research assistants and other non-permanent staff.
Author: Dr. Christoph Lüth
  Group BKB 
Last updated: July 16, 2010   impressum