Lazy Constrained Monotonic Abstraction.

Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng

Browse the full VMCAI paper archive.