W. Phillips, and N. Graham. Intl Workshop on Interactive Systems - Design, Specification, and
Verification, page 92--106. Funchal, Madeira Island, Portugal, (June 2003)
T. Mens, and G. Galal. Workshop Reader European Conf. Object-Oriented Programming (ECOOP), volume 2323 of Lecture Notes in Computer Science, page 150--164. Springer-Verlag, (2002)
T. Mens, and G. Galal. Workshop Reader European Conf. Object-Oriented Programming (ECOOP), volume 2323 of Lecture Notes in Computer Science, page 150--164. Springer-Verlag, (2002)
I. Borne, G. Galal, H. Evans, and L. Andrade. ECOOP 2000 Workshop Reader, volume 1964 of Lecture Notes in Computer Science, page 138-149. Springer-Verlag, (2000)
I. Borne, G. Galal, H. Evans, and L. Andrade. ECOOP 2000 Workshop Reader, volume 1964 of Lecture Notes in Computer Science, page 138-149. Springer-Verlag, (2000)
I. Borne, G. Galal, H. Evans, and L. Andrade. ECOOP 2000 Workshop Reader, volume 1964 of Lecture Notes in Computer Science, page 138-149. Springer-Verlag, (2000)