N.: ICS: Integrated canonizer and solver (0)

by J C Filliatre, S Owre, H Rue, Shankar
Venue:In: CAV 01: International Conference on Computer-Aided Verification. (2001