Verified Programs for Frequent Itemset Mining | IEEE Conference Publication | IEEE Xplore