Formal Specification of Mixed Components with Korrigan.

Christine Choppy, Pascal Poizat, Jean-Claude Royer

Browse the full APSEC paper archive.