CAMEL – A Flexible Cache Model for Cache Verification Author(s): Yue Liu, Fang Liu, Yunyang Song Download
