Meeting of IFIP Working Group 1.3 Foundations of System SpecificationInfo Location Attendee Categories 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![]()
Attendee CategoriesRegular registration for IFIP
Additional Items |