Вернуться к Подробностям о статье
Dynamic logic versus GTS: A case study
Скачать
Скачать PDF