Журнал ИМТ Цитируемый авторПерсона

Reynolds J.C.

http://libmeta.ru/resource/imt/cited_author/Reynolds_J_C

Входящие связи

← автор · 1

Separation Logic: A Logic for Shared Mutable Data Structures