Title | Formal Specification of Catalysis Frameworks |
Publication Type | Conference Proceedings |
Year of Conference | 2000 |
Authors | Küster Filipe, J., K. - K. Lau, M. Ornaghi, K. Taguchi, H. Yatsu, and A. Wills |
Conference Name | Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), Dec. 5-8, Singapore |
Abstract | no |
Public | no |