Fokina Natalia Yurievna

Publications in Math-Net.Ru

1. Static dependency analysis for semantic data validation
   
   Proceedings of ISP RAS, 30:3 (2018),  271–284
2. Automated generation of machine instruction decoders
   
   Proceedings of ISP RAS, 30:2 (2018),  65–80