Formal specification of Catalysis frameworks

Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Kenji Taguchi, Hirokazu Yatsu, Alan Wills. Formal specification of Catalysis frameworks. In 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore. pages 180-187, IEEE Computer Society, 2000. [doi]

Authors

Juliana Küster Filipe

This author has not been identified. Look up 'Juliana Küster Filipe' in Google

Kung-Kiu Lau

This author has not been identified. Look up 'Kung-Kiu Lau' in Google

Mario Ornaghi

This author has not been identified. Look up 'Mario Ornaghi' in Google

Kenji Taguchi

This author has not been identified. Look up 'Kenji Taguchi' in Google

Hirokazu Yatsu

This author has not been identified. Look up 'Hirokazu Yatsu' in Google

Alan Wills

This author has not been identified. Look up 'Alan Wills' in Google