Post-condition-directed Invariant Inference for Loops over Data Structures

No ratings

Presented at SERE 2014 by

Juan Zhai

Hanfei Wang

Jianhua Zhao

N/A