Progressive Shape Analysis for Real C Codes.

Francisco Corbera, Rafael Asenjo, Emilio L. Zapata

Browse the full ICPP paper archive.