Formal Specification of Design Patterns and Their Instances.

Toufik Taibi, Fathi Taibi

Browse the full AICCSA paper archive.