IFIP WG 1.3

Foundations of System Specification
-- a working group of IFIP TC1 --

This is the old home page of IFIP WG1.3

Please update your bookmark to http://ifipwg13.informatik.uni-bremen.de

The new web pages provide links to pages that used to be accessible from the present page (to the extent that they are still valid).