Separable object-oriented program verification with C++ class protocol definition in terms of Petri nets
D. I. Kharitonov

This publication is cited in the following articles:

1. D. V. Leontev, D. I. Kharitonov, “Postroenie sokraschennogo dereva dostizhimosti dlya modelei programm v terminakh setei Petri”, Sistemy i sredstva inform., 32:2 (2022), 23–35    
2. Razumovskii A.G., Panteleev M.G., “Validatsiya ob'ektno-orientirovannykh programm s ispolzovaniem ontologii”, Programmnaya inzheneriya, 2012, no. 7, 7–13