Эта публикация цитируется в 1 статье

Математические основы информатики и программирования

Формальное доказательство семантической эквивалентности ядра языка АОП AspectTalk и языка ООП Smalltalk

Д. А. Стефанцов, А. Е. Крюкова

Томский государственный университет, г. Томск

УДК: 004.423+519.682.1