Christine Choppy, Pascal Poizat, Jean-Claude Royer. Formal Specification of Mixed Components with Korrigan. In 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 4-7 December 2001, Macau, China. pages 169-176, IEEE Computer Society, 2001. [doi]
Abstract is missing.