TY  - JOUR
AU  - O. V. Medvedev
TI  - Semantics of high-level hardware description language HaSCoL
JO  - Vestnik Sankt-Peterburgskogo universiteta. Prikladnaâ matematika, informatika, processy upravleniâ
PY  - 2012
SP  - 81
EP  - 96
IS  - 2
UR  - http://geodesic.mathdoc.fr/item/VSPUI_2012_2_a9/
LA  - ru
ID  - VSPUI_2012_2_a9
ER  -