Бураков, В.В. 2014. Подход к моделированию и поиску дефектов объектно-ориентированного программного кода. Труды СПИИРАН. 8, 31 (апр. 2014), 236-246. DOI:https://doi.org/10.15622/sp.31.15.