Janusz Górski, Aleksander Jarzebowicz, Rafal Leszczyna, Jakub Miler, Marcin Olszewski. Tool support for detecting defects in object-oriented models. In Jerzy Pejas, Andrzej Piegat, editors, Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems. pages 103-112, Springer, 2005. [doi]
Abstract is missing.