Medvedev Oleg Valer'evich

Publications in Math-Net.Ru

1. Semantics of high-level hardware description language HaSCoL
   
   Vestnik S.-Petersburg Univ. Ser. 10. Prikl. Mat. Inform. Prots. Upr., 2012, no. 2,  81–96