Vijay Victor D'Silva, Daniel Kroening, Mitra Purandare, Georg Weissenbacher
Browse the full VMCAI paper archive.