Shape Analysis via Second-Order Bi-Abduction

Quang Loc Le, Cristian Gherghina, Shengchao Qin, Wei-Ngan Chin

Research output: Contribution to journalConference article

126 Downloads (Pure)

Profiles