Modeling UML Template Classes with FoCaLiZe.

Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo

Browse the full IFM paper archive.