Sciweavers

Reasoning About Data-Parallel Pointer Programs in a Modal Extension of Separation Logic
Recent Google, Yahoo, MSN search queries leading to this post
Reasoning About Data-Parallel Pointer Programs in a Modal Extension of Separation Logic
Data is not available yet.