[IEEE Comput. Soc Seventh Asia-Pacific Software Engineering Conference. ASPEC 2000 - Singapore (5-8 Dec. 2000)] Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000 - Formal specification of Catalysis frameworks
Filipe, J.K., Lau, K.-K., Omaghi, M., Taguchi, K., Yatsu, H., Wills, A.Year:
2000
Language:
english
DOI:
10.1109/apsec.2000.896697
File:
PDF, 756 KB
english, 2000