Behavioral specification of GOF design patterns with LOTOS.

Motoshi Saeki

Browse the full APSEC paper archive.