Over-Approximating Boolean Programs with Unbounded Thread Creation | IEEE Conference Publication | IEEE Xplore