Bi-Abductive Inference for Shape and Ordering Properties.

Christopher Curry, Quang Loc Le, Shengchao Qin

Browse the full ICECCS paper archive.