TY - BOOK A1 - / Marc Frappier ... [et al.] (eds. TI - Abstract state machines, alloy, B and Z PB - کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند SN - 93562273 UR /book/93562273/Abstract-state-machines-alloy-B-and-Z/ ER -