Bi-Abduction with Pure Properties for Specification Inference.

Minh-Thai Trinh, Quang Loc Le, Cristina David, Wei-Ngan Chin

Browse the full APLAS paper archive.