A formal model for verifying compound design patterns.

Gabriela N. Aranda, Richard Moore

Browse the full SEKE paper archive.