Successive approximation of abstract transition relations (2001)

by S DAS, D DILL
Venue:In IEEE Symposium on Logic in Computer Science(LICS). IEEE Computer Society