A Tool for Symbolic Program Verification and Abstration.

Susanne Graf Claire Loiseaux A Tool for Symbolic Program Verification and Abstration. 71-84 1993 conf/cav/1993 CAV db/conf/cav/cav93.html#GrafL93 http://dx.doi.org/10.1007/3-540-56922-7_7