Successive approximation of abstract transition relations (2001)

by S DAS, D DILL
Venue:In IEEE Symposium of Logic in Computer Science(LICS ’01