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]

No reviews for this publication, yet.