TY - JOUR AU - N. V. Sorokovikov TI - Creating a~type system for a~family of assembly languages JO - Prikladnaya Diskretnaya Matematika. Supplement PY - 2018 SP - 136 EP - 138 IS - 11 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/PDMA_2018_11_a41/ LA - ru ID - PDMA_2018_11_a41 ER -