Models and Separation Logics for Resource Trees

by N. Biri
Citations:9 - 2 self