Maximal Models of Assertion Graph in GSTE.

Guowu Yang, Jin Yang, Xiaoyu Song, Fei Xie

Browse the full TAMC paper archive.