Symbolic automata for representing big code by Yang, H, Peleg, H, Shoham, S, Yahav, E

Software verification using k-induction by Donaldson, A, Haller, L, Kroening, D, Rummer, P

Other Authors: “…Yahav, E…”