Aranda, Gabriela Noemí

Tool support for verifying applications using object-oriented patterns - p. 253-257

DIF004792