Data-Abstraction Refinement: A Game Semantic Approach.

Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic

Browse the full SAS paper archive.