High-order Object Model Based Software Analysis.

Xiaoqing Frank Liu, Hungwen Lin

Browse the full COMPSAC paper archive.