IMT journal Cited authorPerson

Reynolds J.C.

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

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

← author · 1

Separation Logic: A Logic for Shared Mutable Data Structures