Научная
деятельность
Университет ИТМО

Меню

Публикации

1. Kogtenkov A., Meyer B., Velder S. Alias calculus, change calculus and frame inference // Science of Computer Programming - 2015, Vol. 97, No. 1, pp. 163-172


2. Вельдер С.Э., Шалыто А.А. Верификация автоматных моделей методом редуцированного графа переходов // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2009. - № 6(64). - С. 66-77