IPSG: Invariant Proof Score Generator.

Duong Dinh Tran, Kazuhiro Ogata

Browse the full COMPSAC paper archive.