@ARTICLE{26583204_26655961_2008, 
	author = {О. Р. Набиуллин and Э. А. Бабкин}, 
	keywords = {},
	title = {Моделирование и автоматическая проверка по AsmL},
	journal = {Бизнес-информатика},
	year = {2008},
	number = {4},
	pages = {56-63},
	url = {https://bijournal.hse.ru/2008--4/26655961.html},
	publisher = {},
	abstract = {Целью данной статьи является описание подхода связанного с использованием формализма Абстрактных Машин Состояний (ASM) и среды SpecExplorer, разработанной в Microsoft Research.},
	annote = {Целью данной статьи является описание подхода связанного с использованием формализма Абстрактных Машин Состояний (ASM) и среды SpecExplorer, разработанной в Microsoft Research.}
}