T. Mens, K. Mens, and P. Steyaert. Proceedings of the International Conference on Formal Methods Europe (FME), volume 873 of Lecture Notes in Computer Science, page 326--345. Springer-Verlag, (1994)
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)
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)