Meeting of IFIP Working Group 1.3 Foundations of System SpecificationInfo Location Contact Event Information![]()
DescriptionTo support and promote the systematic development of the fundamentnal mathematical theory of systems specification. To investigate the theory of formal models for systems specification, develoment, transformation and verification.
Event Location![]()
|