Abstraction Analysis and Certified Flow and Context Sensitive Points-to Relation for Distributed Programs.

Mohamed A. El-Zawawy

Browse the full ICCSA paper archive.