Taibi, Toufik

• Design Pattern Formalization Techniques