@BOOK{ Book!D - 103026279,
AUTHOR = "/ Edited by Michael Butler... [et al.].",
TITLE = "Abstract state machines, Alloy, B, TLA, VDM, and Z: 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings",
LIBRARY= "کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان",
SUBJECT = "Machine learning -- Congresses.,Machine theory -- Congresses.,Machine learning.,Machine theory.,Computing Methodologies.,Machine learning, Machine theory, Computing Methodologies.",
URL = "/book/103026279/Abstract-state-machines-Alloy-B-TLA-VDM-and-Z/"}