On the equivalence-checking problem for sequential programs with partially commuting and monotonic statementsтезисы доклада

Дата последнего поиска статьи во внешних источниках: 29 мая 2015 г.