FixBag: A Fixpoint Calculator for Quantified Bag Constraints.

Tuan-Hung Pham, Minh-Thai Trinh, Anh-Hoang Truong, Wei-Ngan Chin

Browse the full CAV paper archive.