%0 Journal Article
%A O. V. Medvedev
%T Semantics of high-level hardware description language HaSCoL
%J Vestnik Sankt-Peterburgskogo universiteta. Prikladnaâ matematika, informatika, processy upravleniâ
%D 2012
%P 81-96
%N 2
%U http://geodesic.mathdoc.fr/item/VSPUI_2012_2_a9/
%G ru
%F VSPUI_2012_2_a9