Chunikhin Oleg Yuryevich

Publications in Math-Net.Ru

1. A translator of UML-specifications to the running code
   
   Sib. Zh. Ind. Mat., 7:2 (2004),  133–147
2. A formal model of UML state machines
   
   Sib. Zh. Ind. Mat., 7:1 (2004),  151–165