796 search results - page 20 / 160 » An Overview of Separation Logic |
GG
2008
Springer
15 years 5 months ago
2008
Springer
122
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Middleware technologies, often limit the way in which object classes may be used in distributed applications due to the fixed distribution policies imposed by the Middleware system...
