FB 3
Group BKB
>
Contacts
>
Deutsch
English
Formal Methods: International contacts
IFIP Working Group 1.3 "Foundations of systems specification"
Common Framework Initiative for Specification and Development (CoFI)
FLIRTS: Formalisms, Institutions, Logics - Relating, Translating and Structuring
Author:
Dr. Till Mossakowski
Group BKB
Last updated: August 16, 2002