Aranda, Gabriela Noemí Tool support for verifying applications using object-oriented patterns - p. 253-257 Standard No.: DIF004792